1. Weyuker E, Goradia T, Singh A. Automatically generating test data from a Boolean specification. IEEE Trans Softw Eng, 1994, 20: 353–363
2. Chen T Y, Lau M F, Yu Y T. Mumcut: A fault-based strategy for testing Boolean specifications. In: Proceedings of the Sixth Asia Pacific Software Engineering Conference (APSEC’99), Takamatsu, 1999. 606–613
3. Kaminski G, Williams G, Ammann P. Reconciling perspectives of software logic testing. Softw Test Verif Reliab, 2008, 18: 149–188
4. Chen Z, Chen T Y, Xu B. A revisit of fault class hierarchies in general Boolean specifications. ACM Trans Softw Eng Methodol, 2011, 20: 13
5. Cornett S. Code coverage analysis. Bullseye Testing Technology. http://www.bullseye.com/coverage.html