CSE 8263 - Software Verification
and Validation
- Biffl, S. and Halling, "Software product improvement with inspection. A large-scale experiment on the influence of inspection processes on defect detection in software requirements documents," M. Euromicro Conference, 2000. Proceedings of the 26th , Volume: 2 , 5-7 Sept. 2000 [pdf - 561 KB]
- B. W. Boehm, "Verifying and validating software requirements and design specifications," IEEE Software, 3, January 1984. [pdf - 1.57 MB]
- Dyer, M., Verification Based Inspection," System Sciences, 1992. Proceedings of the Twenty-Fifth Hawaii International Conference on , Volume: ii , 7-10 Jan. 1992 [pdf - 730 KB]
- Fagan, M. E., "Design and Code Inspections to Reduce errors in program development," IBM Systems Journal, Vol.15, No. 3, 1976 [pdf - 1.44 MB]
- R.C. Linger, "Cleanroom software engineering for zero-defect software," Software Engineering, 1993. Proceedings., 15th International Conference on , 17-21 May 1993 [pdf - 880 KB]
- Mashayekhi, et. al., "Distributed, Collaborative Software Inspection," IEEE Software, September 1993 [pdf - 1.36 MB]
- Thelin, T.; Runeson, P.; Wohlin, C., "Prioritized use cases as a vehicle for software inspections," Software, IEEE , Volume: 20 , Issue: 4 , July-Aug. 2003 Pages:30 - 33 [pdf - 344 KB]
- D. R. Wallace and R.U. Fujii, "Software Verification and Validation: An Overview," IEEE Software, May 1989 [pdf - 600KB]
- Weller, E. F., "Lessons from Three Years of Inspection Data," IEEE Software, September 1993 [pdf - 888 KB]
- Whittaker, J.A. and Poore, J.H., "Statistical testing for cleanroom software engineering," System Sciences, 1992. Proceedings of the Twenty-Fifth Hawaii International Conference on , Volume: ii , 7-10 Jan. 1992 [pdf - 533 KB]
Back