Specification Inference Using Context-Free Language Reachability.

Osbert Bastani, Saswat Anand, Alex Aiken

Browse the full POPL paper archive.