Strategic directions in software quality

ACM Computing Surveys

Volumn 28, Issue 4, 1996, Pages 738-750

  Osterweil, Leon ^a  

^a Biologically Inspired Neural and Dynamical Systems Laboratory   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000122578     PISSN: 03600300     EISSN: None     Source Type: Journal    
DOI: 10.1145/242223.242288     Document Type: Article

References (25)

1. BALZER, R. 1969. EXD AMS-Extendable Debugging and Monitoring System. In 1919 Spring Joint Computer Conference. AFIPS Press.
2. BASILI, V. R., SELBY, R. W., AND HUTCHENS, D. 1986. Experimentation in software engineering. IEEE Trans. Softw. Eng. SE-12, 5 (July), 733-743.
3. CLARKE, L. A. 1976. A system to generate test data and symbolically execute programs. IEEE Trans. Softw. Eng. SE-2, 3 (Sept.), 215-222.
4. DEMILLO, R., LIPTON, R., AND SAYWARD, F. 1979. Program mutation: A new approach to program testing. InfoTech State of the Art Report: Software Testing 2, 107-128.
5. DWYER, M. AND CLARKE, L. 1994. Data flow analysis for verifying properties of concurrent programs. In ACM SIGSOFT'94 Software Engineering Notes, Proceedings of the Second ACM Sigsoft Symposium on Foundations of Software Engineering (Dec.), 62-75.
6. FAGAN, M. E. 1976. Design and code inspections to reduce errors in program development. IBM Syst. J. 15, 3, 182-211.
7. GERHART, S., CRAIGEN, D., AND RALSTON, T. 1994. Experience with formal methods in critical systems. IEEE Softw. 11, 1 (Jan.), 21-39.
8. GUTTAG, J. AND HORNING, J. 1993. Larch: Languages and Tools for Formal Specification. Springer-Verlag.
9. HOWDEN, W. 1976. Reliability of the path analysis testing strategy. IEEE Trans. Softw. Eng. SE-2, 3 (Sept.), 280-215.
10. HOWDEN, W. 1987. Functional Program Testing and Analysis. McGraw-Hill Series in Software Engineering and Technology, McGraw-Hill, New York.
11. KING, J. C. 1975. A new approach to program testing. In Proceedings of the International Conference on Reliable Software, 228-233.
12. KITCHENHAM, B. A. 1996. Evaluating software engineering methods and tools. ACM SIG-SOFT Softw. Eng. Notes 21, 1 (Jan.), 11-15.
13. LASKI, J. AND KOREL, B. 1983. A data flow oriented program testing strategy. IEEE Trans. Softw. Eng. SE-9, 3 (May), 347-354.
14. LUCKHAM, D. AND VONHENKE, F. 1985. An overview of ANNA, a specification language for Ada. IEEE Softw. 2, 2 (March), 9-24.
15. MCCABE, T. 1976. A complexity measure. IEEE Trans. Softw. Eng. SE-1, 308-320.
16. NTAFOS, S. C. 1984. On required element testing. IEEE Trans. Softw. Eng. SE-10, 6 (Nov.), 795-803.
17. OSTERWEIL, L. 1984. Integrating the testing, analysis, and debugging of programs. In Software Validation, H. L. Hausen, Ed., North Holland, 73-102.
18. OSTERWEIL, L. J. AND FOSDICK, L. 1976. DAVE - a validation, error detection, and documentation system for Fortran programs. Softw. Pract. Exper. 6, 4 (Oct.), 473-486.
19. PFLEEGER, S. L. 1995. Experimental design and analysis in software engineering. Ann. Softw. Eng. 1, 1, 219-253.
20. RAPPS, S. AND WEYUKER, E. 1985. Selecting software test data using data flow information. IEEE Trans. Softw. Eng. SE-11, 4 (April), 367-375.
21. RICHARDSON, D. J. 1994. TAOS: Testing with analysis and oracle support. In Proceedings of the 1994 International Symposium on Soft-ware Testing and Analysis (JSSTA) Software Engineering Notes, Special Issue, 138-153.
22. RYDER, B. 1974. The PFORT verifier. Softw. Pract. Exper. 4, 359-378.
23. SPIVEY, J. 1988. Introducing Z: A Specification Language and Its Formal Semantics. Cambridge University Press, New York.
24. STUCKI, L. 1973. Automatic generation of selfmetric software. In Record of the 1973 IEEE Symposium on Software Reliability (April), IEEE Computer Society, Washington, DC, 94-100.
25. WATSON, A. AND MCCABE, T. 1996. Structured testing: A testing methodology using the cyclomatic complexity metric. National Institute of Standards and Technology, Gaithersburg, MD, (NIST) Special Publication, 500-235.