Publications on Testability Transformation

@article{McMinn2009,
  author  = "McMinn, Phil and Binkley, David W. and Harman, Mark",
  title   = "Empirical Evaluation of a Nesting Testability Transformation for Evolutionary Testing",
  journal = "ACM Transactions on Software Engineering and Methodology",
  year    = "2009",
  pages   = "11:1--11:27",
  number  = "3",
  volume  = "18"
}

@inproceedings{McMinn2009a,
  author    = "McMinn, Phil",
  title     = "Search-Based Failure Discovery Using Testability Transformations to Generate
               Pseudo-Oracles",
  booktitle = "Genetic and Evolutionary Computation Conference (GECCO)",
  year      = "2009",
  pages     = "1689--1696"
}

@incollection{Harman2008,
  author    = "Harman, Mark and Baresel, Andr{\'e} and Binkley, David W. and Hierons, Robert M. and
               Hu, Lin and Korel, Bogdan and McMinn, Phil and Roper, Marc",
  title     = "Testability Transformation --- Program Transformation to Improve Testability",
  booktitle = "Formal Methods and Testing",
  year      = "2008",
  pages     = "320--344",
  editor    = "Hierons, Robert M. and Bowen, Jonathan P. and Harman, Mark",
  publisher = "Springer",
  series    = "Lecture Notes in Computer Science",
  volume    = "4949"
}

@inproceedings{McMinn2006a,
  author    = "McMinn, Phil and Harman, Mark and Binkley, David W. and Tonella, Paolo",
  title     = "The Species Per Path Approach to Search-Based Software Test Data Generation",
  booktitle = "International Symposium on Software Testing and Analysis (ISSTA)",
  year      = "2006",
  pages     = "13--24"
}

@inproceedings{McMinn2005,
  author    = "McMinn, Phil and Binkley, David W. and Harman, Mark",
  title     = "Testability Transformation for Efficient Automated Test Data Search in the Presence
               of Nesting",
  booktitle = "UK Software Testing Workshop (UKTest)",
  year      = "2005",
  pages     = "165--182"
}