Using formal specifications to support testing
| Title | Using formal specifications to support testing |
| Publication Type | Journal Articles |
| Year of Publication | 2009 |
| Authors | Hierons RM, Krause P, Lüttgen G, Simons AJH, Vilkomir S, Woodward MR, Zedan H, Bogdanov K, Bowen JP, Cleaveland R, Derrick J, Dick J, Gheorghe M, Harman M, Kapoor K |
| Journal | ACM Computing Surveys |
| Volume | 41 |
| Pagination | 1 - 76 |
| Date Published | 2009/02/01/ |
| ISBN Number | 03600300 |
| URL | http://dl.acm.org/citation.cfm?id=1459352.1459354 |
| DOI | 10.1145/1459352.1459354 |