Mayur Naik, Hongseok Yang, Ghila Castelnuovo, Mooly Sagiv
Abstractions from tests
POPL, 2012.
@inproceedings{POPL-2012-NaikYCS, author = "Mayur Naik and Hongseok Yang and Ghila Castelnuovo and Mooly Sagiv", booktitle = "{Proceedings of the 39th Symposium on Principles of Programming Languages}", doi = "10.1145/2103656.2103701", editor = "John Field and Michael Hicks", isbn = "978-1-4503-1083-3", pages = "373--386", publisher = "{ACM}", title = "{Abstractions from tests}", year = 2012, }