1 Result(s)

Chapter and Conference Paper

AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems

We present AutoMOTGen, a tool for automatic test case generation (ATG) from MATLAB Simulink/Stateflow (SL/SF) models [6] for testing automotive controllers. Our methodology is based on model checking [2]. The ...

Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh… in Computer Aided Verification (2008)