MC/DC Test Case Automatic Generation for Safety-Critical Systems | IEEE Conference Publication | IEEE Xplore