Efficient coverage of parallel and hierarchical stateflow models for test case generation

Manoranjan Satpathy, Anand Yeolekar, Prakash Peranandam, S. Ramesh. Efficient coverage of parallel and hierarchical stateflow models for test case generation. Softw. Test., Verif. Reliab., 22(7):457-479, 2012. [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

Prakash Peranandam

This author has not been identified. Look up 'Prakash Peranandam' in Google

S. Ramesh

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