Test suites for benchmarks of static analysis tools.
Shinichi ShiraishiVeena MohanHemalatha MarimuthuPublished in: ISSRE Workshops (2015)
Keyphrases
- test suite
- static analysis
- tool support
- test cases
- dynamic analysis
- test suite reduction
- regression testing
- test case generation
- software testing
- mutation testing
- malicious code
- java card
- java programs
- symbolic execution
- model checker
- number of test cases
- test generation
- test sequences
- test data
- open source
- set of test cases
- data sets
- test set
- test data generation
- database management systems
- source code
- metadata
- artificial intelligence
- databases