Learning a Static Analyzer from Data
Authors:
- 13 July 2017
- book chapter
- Published by Springer Nature
- p. 233-253
Abstract
No abstract availableKeywords
All Related Versions
This publication has 27 references indexed in Scilit:
- A user-guided approach to program analysis2015
- Mimic: computing models for opaque code2015
- Learning Commutativity Specifications2015
- Synthesizing data structure transformations from input-output examples2015
- Verification as Learning Geometric Concepts2013
- SAGE: Whitebox Fuzzing for Security TestingQueue, 2012
- Automating string processing in spreadsheets using input-output examplesACM SIGPLAN Notices, 2011
- Statistical Learning Theory: Models, Concepts, and Results2011
- Type Analysis for JavaScript2009
- Counterexample-Guided Abstraction Refinement2000