TY - JOUR T1 - Using Formal Specifications to Support Testing JO - ACM COMPUT SURV UR - https://eprints.whiterose.ac.uk/78801/ PY - 2009/02/01 AU - Hierons RM AU - Bogdanov K AU - Bowen JP AU - Cleaveland R AU - Derrick J AU - Dick J AU - Gheorghe M AU - Harman M AU - Kapoor K AU - Krause P AU - Luttgen G et al ED - DO - DOI: 10.1145/1459352.1459354 VL - 41 IS - 2 Y2 - 2025/06/22 ER -