Preliminary Results On Using Static Analysis Tools For Software Inspection.
Nachiappan NagappanLaurie A. WilliamsJohn P. HudepohlWill SnipesMladen A. VoukPublished in: ISSRE (2004)
Keyphrases
- static analysis
- source code
- dynamic analysis
- software tools
- test suite
- symbolic execution
- malicious code
- software developers
- abstract interpretation
- software packages
- software components
- software systems
- java card
- object oriented systems
- design tools
- software architecture
- open source
- artificial intelligence
- databases
- regular expressions
- quality control
- test generation
- real world
- data sets