Kuo-Chung Tai: Theory of Fault-Based Predicate Testing for Computer Programs. IEEE Trans. Software Eng. 22(8): 552-562 (1996)