TY - JOUR T1 - Using formal specifications to support testing JF - ACM Computing Surveys Y1 - 2009 A1 - Hierons,Robert M. A1 - Krause,Paul A1 - Lüttgen,Gerald A1 - Simons,Anthony J. H. A1 - Vilkomir,Sergiy A1 - Woodward,Martin R. A1 - Zedan,Hussein A1 - Bogdanov,Kirill A1 - Bowen,Jonathan P. A1 - Cleaveland, Rance A1 - Derrick,John A1 - Dick,Jeremy A1 - Gheorghe,Marian A1 - Harman,Mark A1 - Kapoor,Kalpesh VL - 41 SN - 03600300 UR - http://dl.acm.org/citation.cfm?id=1459352.1459354 M3 - 10.1145/1459352.1459354 ER -