June: A Type Testability Transformation for Improved ATG Performance.

Dan Bruce, David A. Kelly, Hctor D. Menndez, Earl T. Barr, David Clark

Browse the full ISSTA paper archive.