@inproceedings{inproceedings, title  = {{Refinement in statechart testing}},

 url = {{}},

 year = {{2004}},

 month = {{9}},

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

 doi = {{10.1002/stvr.301}},

 volume = {{14}},

 journal = {{SOFTWARE TESTING VERIFICATION & RELIABILITY}},

 issue = {{3}},

 pages = {{189-211}},

 note = {{Accessed on 2025/03/03}}}