Validating Automotive Control Software Using Instrumentation-Based Verification

Arnab Ray, Iris Morschhaeuser, Christopher Ackermann, Rance Cleaveland, Charles Shelton, Chris Martin. Validating Automotive Control Software Using Instrumentation-Based Verification. In ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009. pages 15-25, IEEE Computer Society, 2009. [doi]

Authors

Arnab Ray

This author has not been identified. Look up 'Arnab Ray' in Google

Iris Morschhaeuser

This author has not been identified. Look up 'Iris Morschhaeuser' in Google

Christopher Ackermann

This author has not been identified. Look up 'Christopher Ackermann' in Google

Rance Cleaveland

This author has not been identified. Look up 'Rance Cleaveland' in Google

Charles Shelton

This author has not been identified. Look up 'Charles Shelton' in Google

Chris Martin

This author has not been identified. Look up 'Chris Martin' in Google