Theory of fault-based predicate testing for computer programs - Kuo-Chung Tai (IEEE Transactions on Software Engineering, Software Engineering, IEEE Transactions on, IIEEE Trans. Software Eng., 1996)