@inproceedings{inproceedings, title = {{Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) with the Counter Problem}}, publisher = {{IEEE}}, url = {{}}, year = {{2010}}, month = {{1}}, author = {{Kalaji AS and Hierons R and Swift S}}, doi = {{10.1109/icstw.2010.25}}, isbn = {{9781424467730}}, journal = {{2010 Third International Conference on Software Testing, Verification, and Validation Workshops}}, note = {{Accessed on 2025/06/23}}}