The SLAM project: debugging system software via static analysis.
Thomas BallSriram K. RajamaniPublished in: POPL (2002)
Keyphrases
- static analysis
- dynamic analysis
- source code
- software projects
- malicious code
- abstract interpretation
- java card
- symbolic execution
- mobile robot
- regular expressions
- software development
- test suite
- case study
- test generation
- software systems
- project management
- software maintenance
- software testing
- particle filter
- dynamic environments
- open source
- software components
- software architecture
- test case generation
- building blocks