Finding bugs in program generators by dynamic analysis of syntactic language constraints.
Sebastian ErdwegVlad A. VerguMira MeziniEelco VisserPublished in: MODULARITY (Companion) (2014)
Keyphrases
- dynamic analysis
- static analysis
- reverse engineering
- natural language
- source code
- semantic constraints
- programs written
- language generation
- programming language
- regular expressions
- constraint language
- computer programs
- language learning
- syntactic parsing
- constraint logic programming
- malicious behavior
- syntactic categories
- test suite
- open source
- semantic role labeling
- context dependent
- model checking
- intended meaning
- software engineering