Generating MC/DC Adequate Test Sequences Through Model Checking.

Sanjai Rayadurgam, Mats Per Erik Heimdahl

Browse the full SEW paper archive.