TY  - JOUR

T1  - Using formal specifications to support testing

JO  - ACM Computing Surveys

UR  - https://eprints.whiterose.ac.uk/id/eprint/78801

UR  - http://dx.doi.org/10.1145/1459352.1459354

PY  - 2009/02/23

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

PB  - American Association for Computing Machinery

VL  - 41

IS  - 2

Y2  - 2025/11/05

ER  -