Strategic directions in software quality
- 1 December 1996
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 28 (4), 738-750
- https://doi.org/10.1145/242223.242288
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Experimental design and analysis in software engineeringComputational Geosciences, 1995
- Experience with formal methods in critical systemsIEEE Software, 1994
- Experimentation in software engineeringIEEE Transactions on Software Engineering, 1986
- Selecting Software Test Data Using Data Flow InformationIEEE Transactions on Software Engineering, 1985
- An Overview of Anna, a Specification Language for AdaIEEE Software, 1985
- A Complexity MeasureIEEE Transactions on Software Engineering, 1976
- Dave—a validation error detection and documentation system for fortran programsSoftware: Practice and Experience, 1976
- A System to Generate Test Data and Symbolically Execute ProgramsIEEE Transactions on Software Engineering, 1976
- Design and code inspections to reduce errors in program developmentIBM Systems Journal, 1976
- The pfort verifierSoftware: Practice and Experience, 1974