Pranav Garg 0001, Daniel Neider, P. Madhusudan, Dan Roth
Learning invariants using decision trees and implication counterexamples
POPL, 2016.
@inproceedings{POPL-2016-0001NMR,
author = "Pranav Garg 0001 and Daniel Neider and P. Madhusudan and Dan Roth",
booktitle = "{Proceedings of the 43rd Symposium on Principles of Programming Languages}",
doi = "10.1145/2837614.2837664",
isbn = "978-1-4503-3549-2",
pages = "499--512",
publisher = "{ACM}",
title = "{Learning invariants using decision trees and implication counterexamples}",
year = 2016,
}