1. ACM, 1980. Collected Algorithms from ACM. Association for Computing Machinery.
2. Data diversity: an approach to software fault tolerance;Ammann;IEEE Transactions on Computers,1988
3. Software Testing Techniques;Beizer,1990
4. Automatic generation of random self-checking test cases;Bird;IBM Systems Journal,1983
5. Bishop, P.G., 1993. The variation of software survival times for different operational input profiles. In: Proceedings of the 23rd International Symposium on Fault-Tolerant Computing, pp. 98–107.