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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.