Reasonability of MC/DC for safety-relevant software implemented in programming languages with short-circuit evaluation.

Susanne Kandl, Sandeep Chandrashekar

Browse the full ISORC paper archive.