Unfolding Based Minimal Test Suites for Testing Multithreaded Programs.
Hernán Ponce de LeónOlli SaarikiviKari KähkönenKeijo HeljankoJavier EsparzaPublished in: ACSD (2015)
Keyphrases
- test suite
- test suite reduction
- test cases
- java programs
- set of test cases
- regression testing
- software testing
- test case generation
- testing process
- number of test cases
- static analysis
- symbolic execution
- test data
- model checker
- mutation testing
- tool support
- test data generation
- code coverage
- test sequences
- test generation
- petri net
- artificial intelligence
- database
- mutual exclusion
- programming language
- data model
- relational databases
- feature selection
- machine learning
- databases