TY - JOUR T1 - Testing a system specified using Statecharts and Z JO - Information and Software Technology PY - 2001/01/01 AU - Hierons RM AU - Sadeghipour S AU - Singh H ED - DO - DOI: 10.1016/s0950-5849(00)00145-2 PB - Elsevier BV VL - 43 IS - 2 SP - 137 EP - 149 Y2 - 2025/05/20 ER -