Finding defects with fault models | IEEE Conference Publication | IEEE Xplore