Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations | IEEE Conference Publication | IEEE Xplore