@inproceedings{inproceedings, title = {{Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)}}, publisher = {{IEEE}}, url = {{}}, year = {{2009}}, month = {{1}}, author = {{Kalaji AS and Hierons RM and Swift S}}, doi = {{10.1109/icst.2009.29}}, isbn = {{9781424437757}}, journal = {{2009 International Conference on Software Testing Verification and Validation}}, note = {{Accessed on 2025/03/13}}}