TY - CONF T1 - Expanding an extended finite state machine to aid testability JO - Proceedings 26th Annual International Computer Software and Applications UR - https://doi.org/10.1109/cmpsac.2002.1045023 PY - 2002/01/01 AU - Hierons RM AU - Kim T-H AU - Ural H ED - DO - DOI: 10.1109/cmpsac.2002.1045023 PB - IEEE Comput. Soc SP - 334 EP - 339 Y2 - 2025/11/05 ER -