TY - CONF T1 - Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) JO - 2009 International Conference on Software Testing Verification and Validation PY - 2009/01/01 AU - Kalaji AS AU - Hierons RM AU - Swift S ED - DO - DOI: 10.1109/icst.2009.29 PB - IEEE SN - 9781424437757 Y2 - 2025/04/16 ER -