Performing High Efficiency Source Code Static Analysis with Intelligent Extensions.
Shu XiaoChristopher H. PhamPublished in: APSEC (2004)
Keyphrases
- static analysis
- high efficiency
- source code
- dynamic analysis
- open source
- high accuracy
- software systems
- open source software
- symbolic execution
- java card
- software projects
- execution traces
- test generation
- software repositories
- free software
- databases
- open source java
- text files
- legacy software
- object oriented systems
- plagiarism detection
- structured data
- operating system
- high level
- website