%0 Journal Article %1 journals/stvr/SatpathyYPR12 %A Satpathy, Manoranjan %A Yeolekar, Anand %A Peranandam, Prakash Mohan %A Ramesh, S. %D 2012 %J Softw. Test. Verification Reliab. %K dblp %N 7 %P 457-479 %T Efficient coverage of parallel and hierarchical stateflow models for test case generation. %U http://dblp.uni-trier.de/db/journals/stvr/stvr22.html#SatpathyYPR12 %V 22

@article{journals/stvr/SatpathyYPR12, added-at = {2022-03-15T00:00:00.000+0100}, author = {Satpathy, Manoranjan and Yeolekar, Anand and Peranandam, Prakash Mohan and Ramesh, S.}, biburl = {https://www.bibsonomy.org/bibtex/24d76af7ecdb110a105c008c9cc868746/dblp}, ee = {https://doi.org/10.1002/stvr.444}, interhash = {2236f6c5ac16c9370723d5229c81564d}, intrahash = {4d76af7ecdb110a105c008c9cc868746}, journal = {Softw. Test. Verification Reliab.}, keywords = {dblp}, number = 7, pages = {457-479}, timestamp = {2024-04-09T07:36:46.000+0200}, title = {Efficient coverage of parallel and hierarchical stateflow models for test case generation.}, url = {http://dblp.uni-trier.de/db/journals/stvr/stvr22.html#SatpathyYPR12}, volume = 22, year = 2012 }