4Chen Zhenyu,Xu Baowen,Nie Changhai.Comparing fault-based testing strategies of general Boolean specifications[C]//Proc of the 31st International Computer Software and Applications Conference.Beijing,China,2007:621-622.
5Morell L J.A theory of fault-based testing[J].IEEE Transactions on Software Engineering,1990,16(8):844-857.
6Tai K C.Theory of fault-based predicate testing for computer programs[J].IEEE Transactions on Software Engineering,1996,22(8):552-562.
7Weyuker E,Goradia T,Singh A.Automatically generating test data from a Boolean specification[J].IEEE Transactions on Software Engineering,1994,20(5):353-363.
8Chen T Y,Lau M F,Yu Y T.MUMCUT:a fault-based strategy for testing Boolean specifications[C]//Proceedings of Asia-Pacific Software Engineering Conference.Takamatsu,Japan,1999:606-613.
9Chen Zhenyu,Chen T Y,Xu Baowen.A revisit of fault class hierarchies in general Boolean specifications[J].ACM Transactions on Software Engineering and Methodology.(to appear).
10Demillo R A,Lipton R J,Sayward F G.Hints on test data selection:help for the practicing programmer[J].IEEE Computer,1978,11(4):34-41.
