Randomized directed testing (REDIRECT) for Simulink/Stateflow models

Manoranjan Satpathy, Anand Yeolekar, S. Ramesh. Randomized directed testing (REDIRECT) for Simulink/Stateflow models. In Luca de Alfaro, Jens Palsberg, editors, Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008. pages 217-226, ACM, 2008. [doi]

Authors

Manoranjan Satpathy

This author has not been identified. Look up 'Manoranjan Satpathy' in Google

Anand Yeolekar

This author has not been identified. Look up 'Anand Yeolekar' in Google

S. Ramesh

This author has not been identified. It may be one of the following persons: Look up 'S. Ramesh' in Google