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]

Abstract

Abstract is missing.