Type Targeted Testing.

Eric L. Seidel, Niki Vazou, Ranjit Jhala

Browse the full ESOP paper archive.