Leon Osterweil
- BALZER, R. 1969. EXDAMS--Extendable Debugging and Monitoring System. In 1919 Spring Joint Computer Conference. AFIPS Press.Google Scholar
- BASILI, V. R., SELBY, R. W., AND HUTCHENS, D. 1986. Experimentation in software engineering. IEEE Trans. Softw. Eng. SE-12, 5 (July), 733-743. Google ScholarCross Ref
- CLARKE, L.A. 1976. A system to generate test data and symbolically execute programs. IEEE Trans. Softw. Eng. SE-2, 3 (Sept.), 215- 222.Google ScholarDigital Library
- 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.Google Scholar
- 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. Google Scholar
- PAGAN, M. E. 1976. Design and code inspections to reduce errors in program developmeAt. IBM Syst. J. 15, 3, 182-211. Google ScholarDigital Library
- GERHART, S., CRAIGEN, D., AND RALSTON, T. 1994. Experience with formal methods in critical systems. IEEE Softw. 11, 1 (Jan.), 21-39. Google ScholarDigital Library
- GUTTAG, J. AND HORNING, J. 1993. Larch: Languages and Tools for Formal Specification. Springer-Verlag. Google ScholarDigital Library
- HOWDEN, W. 1976. Reliability of the path analysis testing strategy. IEEE Trans. Softw. Eng. SE-2, 3 (Sept.), 280-215.Google Scholar
- HOWDEN, W. 1987. Functional Program Testing and Analysis. McGraw-Hill Series in Software Engineering and Technology, McGraw-Hill, New York. Google Scholar
- KING, J. C. 1975. A new approach to program testing. In Proceedings of the International Conference on Reliable Software, 228-233. Google Scholar
- KITCHENHAM, B. A. 1996. Evaluating software engineering methods and tools. ACM SIG- SOFT Softw. Eng. Notes 21, 1 (Jan.), 11-15. Google Scholar
- LASKI, J. AND KOREL, B. 1983. A data flow oriented program testing strategy. IEEE Trans. Softw. Eng. SE-9, 3 (May), 347-354.Google ScholarDigital Library
- LUCKHAM, D. AND vONHENKE, F. 1985. An overview of ANNA, a specification language for Ada. IEEE Softw. 2, 2 (March), 9-24.Google ScholarDigital Library
- MCCABE, T. 1976. A complexity measure. IEEE Trans. Softw. Eng. SE-1, 308-320.Google ScholarDigital Library
- NTAFOS, S.C. 1984. On required element testing. IEEE Trans. Softw. Eng. SE-IO, 6 (Nov.), 795-803.Google ScholarDigital Library
- OSTERWEIL, L. 1984. Integrating the testing, analysis, and debugging of programs. In Software Validation, H. L. Hausen, Ed., North Holland, 73-102. Google Scholar
- 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.Google ScholarCross Ref
- PFLEEGER, S.L. 1995. Experimental design and analysis in software engineering. Ann. Softw. Eng. 1, 1, 219-253.Google ScholarCross Ref
- RAPPS, S. AND WEYUKER, E. 1985. Selecting software test data using data flow information. IEEE Trans. Softw. Eng. SE-11, 4 (April), 367-375. Google ScholarDigital Library
- RICHARDSON, D. J. 1994. TAOS: Testing with analysis and oracle support. In Proceedings of the 1994 International Symposium on Software Testing and Analysis (ISSTA) Software Engineering Notes, Special Issue, 138-153. Google Scholar
- RYDER, B. 1974. The PFORT verifier. Softw. Pract. Exper. 4, 359-378.Google ScholarCross Ref
- SPIVEY, J. 1988. Introducing Z: A Specification Language and Its Formal Semantics. Cambridge University Press, New York. Google Scholar
- 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.Google Scholar
- 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.Google Scholar
Index Terms
- Strategic directions in software quality
Recommendations
Strategic Drivers of Software Quality: Beyond External and Internal Software Quality
APAQS '01: Proceedings of the Second Asia-Pacific Conference on Quality SoftwareSoftware quality is often considered in terms of thecontractual requirements between the supplier and acquireras described in ISO/IEC 12207 and focuses on software lifecycle processes. However, beyond these processes acquirerorganisations need to ...
Comments