Reasonability of MC/DC for safety-relevant software implemented in programming languages with short-circuit evaluation | IEEE Conference Publication | IEEE Xplore