AVATAR : Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations.
Kui LiuAnil KoyuncuDongsun KimTegawendé F. BissyandéPublished in: CoRR (2018)
Keyphrases
- static analysis
- source code
- dynamic analysis
- symbolic execution
- malicious code
- semantic information
- java card
- test generation
- regular expressions
- abstract interpretation
- virtual world
- semantic web
- natural language
- high level
- decision trees
- software systems
- domain ontology
- test suite
- open source
- natural language processing
- software engineering
- domain knowledge