%0 Journal Article %T H-Switch Cover: a new test criterion to generate test case from finite state machines %A Souza, Érica %A Santiago Júnior, Valdivino %A Vijaykumar, Nandamudi %J Software Quality Journal %V 25 %N 2 %P 373-405 %@ 0963-9314 %D 2015-12-14 %I Springer US %~ DeepDyve