CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software.

Anila Mjeda, Mike Hinchey

Browse the full SAFECOMP paper archive.