DMCA

Specification inference using context-free language reachability (2015)

by Osbert Bastani , Saswat Anand , Alex Aiken
Venue:In Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL ’15
Citations:6 - 3 self