Software safety: why, what, and how
ACM Computing Surveys (CSUR)
An experimental evaluation of the assumption of independence in multiversion programming
IEEE Transactions on Software Engineering
Evaluation of competing software reliability predictions
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Fault-Tolerant SoFtware Reliability Modeling
IEEE Transactions on Software Engineering
An Empirical Comparison of Software Fault Tolerance and Fault Elimination
IEEE Transactions on Software Engineering
A reply to the criticisms of the Knight & Leveson experiment
ACM SIGSOFT Software Engineering Notes
Faults on its sleeve: amplifying software reliability testing
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Partition testing, stratified sampling, and cluster analysis
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Communications of the ACM
Foundations of software testing: dependability theory
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Predicting dependability by testing
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Documentation for safety critical software
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Local exhaustive testing: a software reliability tool
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Software Testability: The New Verification
IEEE Software
The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing
IEEE Transactions on Software Engineering
Deriving Quantified Safety Requirements in Complex Systems
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
The Industrial Use of Formal Methods: Was Darwin Right?
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
A binomial software reliability model based on coverage of structural testing criteria
Empirical Software Engineering
Software safety: relating software assurance and software integrity
International Journal of Critical Computer-Based Systems
Practical limits on software dependability: a case study
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
Reliability analysis of component-based systems with multiple failure modes
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Hi-index | 0.02 |