Generating minimal test set satisfying MC/DC criterion via SAT based approach.

Ling Yang, Jun Yan, Jian Zhang

Browse the full SAC paper archive.