MCDC-Star: A White-Box Based Automated Test Generation for High MC/DC Coverage.

Linghuan Hu W. Eric Wong D. Richard Kuhn Raghu Kacker

Published in: DSA (2018)

Keyphrases

test generation
white box
test cases
black box
code coverage
test suite
symbolic execution
test sequences
source code
static analysis
design automation
test data
regression testing
quality assurance