TY - CONF T1 - Expanding an extended finite state machine to aid testability JO - Proceedings 26th Annual International Computer Software and Applications 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 Y2 - 2024/12/22 ER -