Abstractions from tests
Mayur Naik, Hongseok Yang, Ghila Castelnuovo, Mooly Sagiv[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
POPL '12
Philadelphia, PA, USA
ACM
New York, NY, USA
Pages 373-386
2012
POPL '12
Philadelphia, PA, USA
ACM
New York, NY, USA
Pages 373-386
2012