Poster: Reporting Unique-Cause MC/DC Score Using Formal Verification.

Monika Rani Golla, Sangharatna Godboley, Avijit Das, P. Radha Krishna

Browse the full ICST paper archive.