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 002 (DATE, 2012)

SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage. - Sachin Raviram; Prakash Mohan Peranandam; Manoranjan Satpathy; S. Ramesh 002 (ICTAC, 2012)