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]
Abstract is missing.