Reflections on the Role of Static Analysis in Cooperative Bug Isolation.
Ben LiblitPublished in: SAS (2008)
Keyphrases
- static analysis
- source code
- cooperative
- dynamic analysis
- software systems
- symbolic execution
- malicious code
- test generation
- abstract interpretation
- open source
- software projects
- java card
- multi agent systems
- regular expressions
- object oriented
- multi agent
- data mining
- database
- test suite
- high level
- knowledge base
- databases