TY - JOUR T1 - Testing methods for X-machines: a review JO - FORM ASP COMPUT PY - 2006/03/01 AU - Bogdanov K AU - Holcombe M AU - Ipate F AU - Seed L AU - Vanak S ED - DO - DOI: 10.1007/s00165-005-0085-6 VL - 18 IS - 1 SP - 3 EP - 30 Y2 - 2025/06/23 ER -