Robert M. Hierons Kirill Bogdanov Jonathan P. Bowen Rance Cleaveland John Derrick Jeremy Dick Marian Gheorghe Mark Harman Kalpesh Kapoor Paul Krause Gerald Lüttgen Anthony J. H. Simons Sergiy A. Vilkomir Martin R. Woodward Hussein Zedan Using formal specifications to support testing. 2009 41 ACM Comput. Surv. 2 http://doi.acm.org/10.1145/1459352.1459354 db/journals/csur/csur41.html#HieronsBBCDDGHKKLSVWZ09