Non-Intrusive MC/DC Measurement Based on Traces | IEEE Conference Publication | IEEE Xplore