An experimental analysis of program verification methods.

An Empirical Comparison of Software Fault Tolerance and Fault Elimination

IEEE Transactions on Software Engineering

Comparing and combining software defect detection techniques: a replicated empirical study

ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering

Applicability of Software Validation Techniques to Scientific Programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

A controlled experiment in program testing and code walkthroughs/inspections

Communications of the ACM

Software inspections, reviews & walkthroughs

Proceedings of the 24th International Conference on Software Engineering

A report on random testing

ICSE '81 Proceedings of the 5th international conference on Software engineering

Theoretical and empirical studies of program testing

ICSE '78 Proceedings of the 3rd international conference on Software engineering

What Do We Know about Defect Detection Methods?

IEEE Software

Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent java components

Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering

Testing and inspecting reusable product line components: first empirical results

Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering

Impact of research on practice in the field of inspections, reviews and walkthroughs: learning from successful industrial uses

ACM SIGSOFT Software Engineering Notes

Component testing is not enough: a study of software faults in telecom middleware

TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems