TY - CONF T1 - Testing from X-Machine Specifications. JO - Formal Methods and Testing UR - https://doi.org/10.1007/978-3-540-78917-8 PY - 2008/01/01 AU - Bogdanov K ED - Hierons RM ED - Bowen JP ED - Harman M PB - Springer SN - 978-3-540-78916-1 VL - 4949 SP - 184 EP - 208 Y2 - 2025/06/20 ER -