SoftWare IMmunization (SWIM) - A Combination of Static Analysis and Automatic Testing.
J. Jenny LiJohn Douglas PalframanJim LandwehrPublished in: COMPSAC (2011)
Keyphrases
- static analysis
- symbolic execution
- dynamic analysis
- test suite
- test generation
- source code
- test case generation
- test cases
- software testing
- malicious code
- abstract interpretation
- regular expressions
- software systems
- test data generation
- software development
- software components
- semi automatic
- java card
- testing process
- data management
- open source
- domain knowledge
- decision trees