Abstractions from tests.

Mayur Naik, Hongseok Yang, Ghila Castelnuovo, Mooly Sagiv

Browse the full POPL paper archive.