Mark Harman André Baresel David Binkley Robert M. Hierons Lin Hu Bogdan Korel Phil McMinn Marc Roper Testability Transformation - Program Transformation to Improve Testability. 320-344 2008 Formal Methods and Testing http://dx.doi.org/10.1007/978-3-540-78917-8_11 conf/fortest/2008 db/conf/fortest/fortest2008.html#HarmanBBHHKMR08