An experimental evaluation of the assumption of independence in multiversion programming
IEEE Transactions on Software Engineering
Axiomatizing software test data adequacy
IEEE Transactions on Software Engineering
Fault-Tolerant SoFtware Reliability Modeling
IEEE Transactions on Software Engineering
Analysis of Faults in an N-Version Software Experiment
IEEE Transactions on Software Engineering
An Experimental Evaluation of Software Redundancy as a Strategy for Improving Reliability
IEEE Transactions on Software Engineering
Comparison of program testing strategies
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Software aspects of strategic defense systems
Communications of the ACM
A reply to the criticisms of the Knight & Leveson experiment
ACM SIGSOFT Software Engineering Notes
A Critical Look at Software Capability Evaluations
IEEE Software
Software-Engineering Research Revisited
IEEE Software
(Awarded Best Theory Paper!) A Probabilistic Approach to Estimating Computer System Reliability
LISA '01 Proceedings of the 15th USENIX conference on System administration
Reflections on Software Engineering Education
IEEE Software
Software maturity: design as dark art
ACM SIGSOFT Software Engineering Notes
Reflections on software engineering education
ICSE'05 Proceedings of the 2005 international conference on Software Engineering Education in the Modern Age
| Hi-index | 0.01 |