@inproceedings{inproceedings, title  = {{Automated test set generation for statecharts}},

 url = {{}},

 year = {{1999}},

 month = {{1}},

 author = {{Bogdanov K and Holcombe M and Singh H}},

 volume = {{1641}},

 journal = {{APPLIED FORMAL METHODS - FM-TRENDS 98}},

 pages = {{107-121}},

 note = {{Accessed on 2024/12/22}}}