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 UR - https://doi.org/10.1109/icst.2009.29 PY - 2009/07/15 AU - Kalaji AS AU - Hierons RM AU - Swift S ED - DO - DOI: 10.1109/icst.2009.29 PB - IEEE SP - 230 EP - 239 Y2 - 2025/11/18 ER -