TY  - CONF

T1  - Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) with the Counter Problem

JO  - 2010 Third International Conference on Software Testing, Verification, and Validation Workshops

UR  - https://doi.org/10.1109/icstw.2010.25

PY  - 2010/06/25

AU  - Kalaji AS

AU  - Hierons R

AU  - Swift S

ED  - 

DO  - DOI: 10.1109/icstw.2010.25

PB  - IEEE

SP  - 232

EP  - 235

Y2  - 2025/11/05

ER  -