Improving the N-version programming process through the evolution of a design paradigm

This publication has 18 references indexed in Scilit:

• X-ware reliability and availability modeling
  IEEE Transactions on Software Engineering, 1992
• An experimental evaluation of software redundancy as a strategy for improving reliability
  IEEE Transactions on Software Engineering, 1991
• In search of effective diversity: a six-language study of fault-tolerant flight control software
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• PODS — A project on diverse software
  IEEE Transactions on Software Engineering, 1986
• Dependable computing: From concepts to design diversity
  Proceedings of the IEEE, 1986
• An experimental evaluation of the assumption of independence in multiversion programming
  IEEE Transactions on Software Engineering, 1986
• A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors
  IEEE Transactions on Software Engineering, 1985
• Application of a Methodology for the Development and Validation of Reliable Process Control Software
  IEEE Transactions on Software Engineering, 1981
• Reliability and Availability Models for Maintained Systems Featuring Hardware Failures and Design Faults
  IEEE Transactions on Computers, 1978
• Reliability modeling techniques for self-repairing computer systems
  Published by Association for Computing Machinery (ACM) ,1969