On MC/DC and implementation structure: An empirical study | IEEE Conference Publication | IEEE Xplore