Randomized directed testing (REDIRECT) for Simulink/Stateflow models.

Manoranjan Satpathy, Anand Yeolekar, S. Ramesh

Browse the full EMSOFT paper archive.