1. Data Diversity: An Approach to Software Fault Tolerance;Ammann;IEEE Trans. on Computers,1988
2. An Input Domain Based Theory of Software Reliability and its Application;Bastani,1980
3. PODS - A Project on Diverse Software;Bishop;IEEE Trans. Software Engineering,1986
4. STEM - A Project on Software Test and Evaluation Methods;Bishop,1987
5. Statistical Verification of Reactor Protection Software;Ehrenberger,1978