An integrated test generation tool for enhanced coverage of Simulink/Stateflow models.

Prakash Mohan Peranandam, Sachin Raviram, Manoranjan Satpathy, Anand Yeolekar, Ambar A. Gadkari, S. Ramesh

Browse the full DATE paper archive.