Testability Transformation - Program Transformation to Improve Testability

Mark Harman, André Baresel, David Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper. Testability Transformation - Program Transformation to Improve Testability. In Robert M. Hierons, Jonathan P. Bowen, Mark Harman, editors, Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers. Volume 4949 of Lecture Notes in Computer Science, pages 320-344, Springer, 2008. [doi]

@inproceedings{HarmanBBHHKMR08,
  title = {Testability Transformation - Program Transformation to Improve Testability},
  author = {Mark Harman and André Baresel and David Binkley and Robert M. Hierons and Lin Hu and Bogdan Korel and Phil McMinn and Marc Roper},
  year = {2008},
  doi = {10.1007/978-3-540-78917-8_11},
  url = {http://dx.doi.org/10.1007/978-3-540-78917-8_11},
  tags = {testing, transformation, program transformation},
  researchr = {https://researchr.org/publication/HarmanBBHHKMR08},
  cites = {0},
  citedby = {0},
  pages = {320-344},
  booktitle = {Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers},
  editor = {Robert M. Hierons and Jonathan P. Bowen and Mark Harman},
  volume = {4949},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78916-1},
}