Minimizing Test Suites with Unfoldings of Multithreaded Programs.
Olli SaarikiviHernán Ponce de LeónKari KähkönenKeijo HeljankoJavier EsparzaPublished in: ACM Trans. Embed. Comput. Syst. (2017)
Keyphrases
- test suite
- java programs
- set of test cases
- test cases
- test suite reduction
- test case generation
- regression testing
- mutation testing
- testing process
- static analysis
- test data
- computer programs
- model checker
- number of test cases
- linear hashing
- mutual exclusion
- data sets
- software testing
- first order logic
- test sequences
- parallel programming
- databases