%0 Journal Article %1 journals/stvr/HongKCBU00 %A Hong, Hyoung Seok %A Kim, Young Gon %A Cha, Sung Deok %A Bae, Doo-Hwan %A Ural, Hasan %D 2000 %J Softw. Test. Verification Reliab. %K dblp %N 4 %P 203-227 %T A test sequence selection method for statecharts. %U http://dblp.uni-trier.de/db/journals/stvr/stvr10.html#HongKCBU00 %V 10

@article{journals/stvr/HongKCBU00, added-at = {2020-04-01T00:00:00.000+0200}, author = {Hong, Hyoung Seok and Kim, Young Gon and Cha, Sung Deok and Bae, Doo-Hwan and Ural, Hasan}, biburl = {https://www.bibsonomy.org/bibtex/25f5c6e8e88254e5ff1b417b35ad62743/dblp}, ee = {https://doi.org/10.1002/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2}, interhash = {291df58919e85b7e9e20b7692237aaa8}, intrahash = {5f5c6e8e88254e5ff1b417b35ad62743}, journal = {Softw. Test. Verification Reliab.}, keywords = {dblp}, number = 4, pages = {203-227}, timestamp = {2020-04-02T12:07:53.000+0200}, title = {A test sequence selection method for statecharts.}, url = {http://dblp.uni-trier.de/db/journals/stvr/stvr10.html#HongKCBU00}, volume = 10, year = 2000 }