Protocol validation in complex systems
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Software reliability: measurement, prediction, application (professional ed.)
Software reliability: measurement, prediction, application (professional ed.)
An Experimental Evaluation of Software Redundancy as a Strategy for Improving Reliability
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
A Critique of Software Defect Prediction Models
IEEE Transactions on Software Engineering
Quantitative Analysis of Faults and Failures in a Complex Software System
IEEE Transactions on Software Engineering
Toward More Effective Testing for High-Assurance Systems
HASE '97 Proceedings of the 2nd High-Assurance Systems Engineering Workshop
In-process metrics for software testing
IBM Systems Journal
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
ACM SIGSOFT Software Engineering Notes
Software Analysis and Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Software quality economics for defect-detection techniques using failure prediction
3-WoSQ Proceedings of the third workshop on Software quality
Modelling the quality economics of defect-detection techniques
Proceedings of the 2006 international workshop on Software quality
A model and sensitivity analysis of the quality economics of defect-detection techniques
Proceedings of the 2006 international symposium on Software testing and analysis
Using portfolio theory for better and more consistent quality
Proceedings of the 2007 international symposium on Software testing and analysis
Cooperative bug isolation: winning thesis of the 2005 ACM doctoral dissertation competition
Cooperative bug isolation: winning thesis of the 2005 ACM doctoral dissertation competition
Software quality assurance economics
Information and Software Technology
The economics of static analysis tools
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
| Hi-index | 0.00 |
How can we determine the added value of software verification techniques over the more readily available conventional testing techniques? Formal verification techniques introduce both added costs and potential benefits. Can we show objectively when the benefits will outweigh the cost?