DEMINER: test generation for high test coverage through mutant exploration.

Yunho Kim Shin Hong

Published in: Softw. Test. Verification Reliab. (2021)

Keyphrases

test generation
code coverage
test cases
test suite
test sequences
software testing
symbolic execution
mutation testing
design automation
quality assurance
static analysis
test data generation
set of test cases
regression testing
test data
data management
data sets