AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar. AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. In Aarti Gupta, Sharad Malik, editors, Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings. Volume 5123 of Lecture Notes in Computer Science, pages 204-208, Springer, 2008. [doi]

Identified as Ambar A. Gadkari (GM Global R&D )This author has not been identified. Look up 'Anand Yeolekar' in GoogleThis author has not been identified. Look up 'J. Suresh' in GoogleIdentified as S. Ramesh This author has not been identified. Look up 'Swarup Mohalik' in GoogleIdentified as K. C. Shashidhar

runs on WebDSL