AutoMOTGen: Automatic model oriented test generator for embedded control systems - Tool paper

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5123 LNCS, Issue , 2008, Pages 204-208

  Gadkari, Ambar A ^a   Yeolekar, Anand ^a   Suresh, J ^a   Ramesh, S ^a   Mohalik, Swarup ^a   Shashidhar, K C ^a  

^a GENERAL MOTORS CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 48849117969     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70545-1_19     Document Type: Conference Paper

References (9)

1. Ammann, P., Black, P.E., Majurski, W.: Using model checking to generate tests from specifications. In: ICFEM, p. 46 (1998)
2. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2000)
3. Gadkari, A., Mohalik, S.K., Shashidhar, K.C., Yeolekar, A., Suresh, J., Ramesh, S.: Automatic generation of test-cases using model checking for SL/SF models. In: 4th International Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2007) (2007)
4. Gargantini, A., Heitmeyer, C.L.: Using model checking to generate tests from requirements specifications. In: ESEC / SIGSOFT FSE, pp. 146-162 (1999)
5. Hamon, G., deMoura, L., Rushby, J.: Generating efficient test sets with a model checker. In: 2nd International Conference on Software Engineering and Formal Methods, Beijing, China, September 2004, pp. 261-270. IEEE Computer Society, Los Alamitos (2004)
6. The Mathworks, Inc., http://www.mathworks.com
7. Reactis, Reactive Systems, Inc., http://www.reactive-systems.com
8. SAL homepage, http://sal.csl.sri.com/
9. Safety Test Builder, TNI-Software, http://www.tni-software.com