Amanote Research
Register
Sign In
Specification Inference Using Context-Free Language Reachability
doi 10.1145/2676726.2676977
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2015
Authors
Osbert Bastani
Saswat Anand
Alex Aiken
Publisher
ACM Press