Eliminating Human Specification in Static Analysis.
Ying KongYuqing ZhangQixu LiuPublished in: RAID (2010)
Keyphrases
- static analysis
- dynamic analysis
- source code
- abstract interpretation
- malicious code
- test case generation
- symbolic execution
- java card
- test suite
- regular expressions
- real world
- specification language
- active databases
- human subjects
- pattern matching
- test generation
- database applications
- information extraction
- domain knowledge
- high level
- decision trees