On the relationships of faults for Boolean specification based testing | IEEE Conference Publication | IEEE Xplore