@inproceedings{inproceedings, title = {{Expanding an extended finite state machine to aid testability}}, publisher = {{IEEE Comput. Soc}}, url = {{}}, year = {{2002}}, month = {{1}}, author = {{Hierons RM and Kim T-H and Ural H}}, doi = {{10.1109/cmpsac.2002.1045023}}, journal = {{Proceedings 26th Annual International Computer Software and Applications}}, note = {{Accessed on 2025/06/23}}}