Osbert Bastani, Saswat Anand, Alex Aiken
Specification Inference Using Context-Free Language Reachability
POPL, 2015.
@inproceedings{POPL-2015-BastaniAA, author = "Osbert Bastani and Saswat Anand and Alex Aiken", booktitle = "{Proceedings of the 42nd Symposium on Principles of Programming Languages}", doi = "10.1145/2676726.2676977", isbn = "978-1-4503-3300-9", pages = "553--566", publisher = "{ACM}", title = "{Specification Inference Using Context-Free Language Reachability}", year = 2015, }