Using formal specifications to support testing

TitleUsing formal specifications to support testing
Publication TypeJournal Articles
Year of Publication2009
AuthorsHierons 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
JournalACM Computing Surveys
Volume41
Pagination1 - 76
Date Published2009/02/01/
ISBN Number03600300
URLhttp://dl.acm.org/citation.cfm?id=1459352.1459354
DOI10.1145/1459352.1459354