Can you certify your software to MC/DC?: A static analysis approach to account for the number test cases.

Alexandre Locci Martins Ana C. V. de Melo

Published in: SAST (2016)

Keyphrases

test cases
static analysis
test suite
number of test cases
test case generation
test generation
software testing
regression testing
dynamic analysis
test suite reduction
black box
test data generation
source code
testing process
test sequences
test set
uml models
set of test cases
unit testing
object oriented
database