@article{DBLP:journals/csur/HieronsBBCDDGHKKLSVWZ09,
  author    = {Robert M. Hierons and
               Kirill Bogdanov and
               Jonathan P. Bowen and
               Rance Cleaveland and
               John Derrick and
               Jeremy Dick and
               Marian Gheorghe and
               Mark Harman and
               Kalpesh Kapoor and
               Paul Krause and
               Gerald L{\"u}ttgen and
               Anthony J. H. Simons and
               Sergiy A. Vilkomir and
               Martin R. Woodward and
               Hussein Zedan},
  title     = {Using formal specifications to support testing},
  journal   = {ACM Comput. Surv.},
  volume    = {41},
  number    = {2},
  year      = {2009},
  ee        = {http://doi.acm.org/10.1145/1459352.1459354},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}