Specification Inference Using Context-Free Language Reachability
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jan 14, 2015
- Source ID
- 10.1145/2676726.2676977
Entities
People
- Alex Aiken
- Osbert Bastani
- Saswat Anand
Organizations
- Air Force Research Laboratory
- Stanford University