Evaluating specification-level MC/DC criterion in model-based testing of safety critical systems.

Syed S. Arefin, Hadi Hemmati, Howard W. Loewen

Browse the full ICSE paper archive.