Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift. Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM). In ICST 2009, Second International Conference on Software Testing Verification and Validation, 1-4 April 2009, Denver, Colorado, USA. pages 230-239, IEEE Computer Society, 2009. [doi]
@inproceedings{KalajiHS09,
title = {Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)},
author = {Abdul Salam Kalaji and Robert M. Hierons and Stephen Swift},
year = {2009},
doi = {10.1109/ICST.2009.29},
url = {http://doi.ieeecomputersociety.org/10.1109/ICST.2009.29},
tags = {testing, state machines},
researchr = {https://researchr.org/publication/KalajiHS09},
cites = {0},
citedby = {0},
pages = {230-239},
booktitle = {ICST 2009, Second International Conference on Software Testing Verification and Validation, 1-4 April 2009, Denver, Colorado, USA},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3601-9},
}