An experimental evaluation of the assumption of independence in multiversion programming
IEEE Transactions on Software Engineering
Journal of Systems and Software
The Use of Self Checks and Voting in Software Error Detection: An Empirical Study
IEEE Transactions on Software Engineering
Analysis of Faults in an N-Version Software Experiment
IEEE Transactions on Software Engineering
Resourceful systems for fault tolerance, reliability, and safety
ACM Computing Surveys (CSUR)
An Experimental Evaluation of Software Redundancy as a Strategy for Improving Reliability
IEEE Transactions on Software Engineering
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
Implementing Design Diversity to Achieve Fault Tolerance
IEEE Software
The contour model of block structured processes
ACM SIGPLAN Notices
Designing a resourceful fault-tolerance system
Journal of Systems and Software
A relational database model of program execution and software components
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Hi-index | 0.00 |