An experimental analysis of program verification methods.
- Author:
- William C. Hetzel
Abstract
No abstract available.
Cited By
Rombach D, Ciolkowski M, Jeffery R, Laitenberger O, McGarry F and Shull F (2008). Impact of research on practice in the field of inspections, reviews and walkthroughs, ACM SIGSOFT Software Engineering Notes, 33:6, (26-35), Online publication date: 31-Oct-2008.- Eldh S, Punnekkat S, Hansson H and Jönsson P Component testing is not enough Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems, (74-89)
- Runeson P, Andersson C, Thelin T, Andrews A and Berling T (2006). What Do We Know about Defect Detection Methods?, IEEE Software, 23:3, (82-90), Online publication date: 1-May-2006.
- Denger C and Kolb R Testing and inspecting reusable product line components Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering, (184-193)
- Wojcicki M and Strooper P 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, (174-183)
- Ciolkowski M, Laitenberger O, Rombach D, Shull F and Perry D Software inspections, reviews & walkthroughs Proceedings of the 24th International Conference on Software Engineering, (641-642)
- Wood M, Roper M, Brooks A and Miller J (1997). Comparing and combining software defect detection techniques, ACM SIGSOFT Software Engineering Notes, 22:6, (262-277), Online publication date: 1-Nov-1997.
- Wood M, Roper M, Brooks A and Miller J Comparing and combining software defect detection techniques Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering, (262-277)
- Shimeall T and Leveson N (1991). An Empirical Comparison of Software Fault Tolerance and Fault Elimination, IEEE Transactions on Software Engineering, 17:2, (173-182), Online publication date: 1-Feb-1991.
- Duran J and Ntafos S A report on random testing Proceedings of the 5th international conference on Software engineering, (179-183)
- Howden W (1980). Applicability of Software Validation Techniques to Scientific Programs, ACM Transactions on Programming Languages and Systems, 2:3, (307-320), Online publication date: 1-Jul-1980.
- Howden W Theoretical and empirical studies of program testing Proceedings of the 3rd international conference on Software engineering, (305-311)
- Myers G (1978). A controlled experiment in program testing and code walkthroughs/inspections, Communications of the ACM, 21:9, (760-768), Online publication date: 1-Sep-1978.
Recommendations
Efficient points-to analysis for whole-program analysis
To function on programs written in languages such as C that make extensive use of pointers, automated software engineering tools require safe alias information. Existing alias-analysis techniques that are sufficiently efficient for analysis on large ...
Efficient points-to analysis for whole-program analysis
ESEC/FSE-7: Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineeringTo function on programs written in languages such as C that make extensive use of pointers, automated software engineering tools require safe alias information. Existing alias-analysis techniques that are sufficiently efficient for analysis on large ...