References
- 한동수, 정인상, software test 입문, VI Land, 2004
- W.S.Humphrey, Managing the Software Process, Addison-Wesley, 1990
- M.E Fagen, 'Advances in Software Inspection,' IEEE transactions on Software Engineering, Vol 12, issue 7, pp.744-751, 1986
- D.Graham, Software Inspection, Addison-Wesley, 1993
- B.Hailpern, P.Santhanam, 'Software debugging, testing, and verification,' IBM System Journal, Vol.41, No.1, pp.4-12, 2002 https://doi.org/10.1147/sj.411.0004
- R. S. Pressman, Software Engineering: A Practitioner's Approach, McGraw-Hill, New York, 1992
- Ram Chillarege, 'Software Testing Best Practices,' IBM Technical Report RC 21475, Center for Software Engineering IBM Research, 1999
- M.E.Fagen, 'Design and code inspections to reduce errors in program development,' IBM Systems Journal, Vol.15, pp.182-211, 1976 https://doi.org/10.1147/sj.153.0182
- D.Winkler, S. Biffl, B. Riedl, 'Improvement of Design Specifications with Inspection. and Testing,' Proc. Of Euromicro 05, pp.222-230, 2005 https://doi.org/10.1109/EUROMICRO.2005.30
- O. Laitenberger, 'Studying the Effects of Code Inspection and Structural Testing on Software Quality,' Proc. 9th Int'l Symp. Software Reliability Eng., IEEE CS Press, pp. 237-246, 1998 https://doi.org/10.1109/ISSRE.1998.730887
- V.R. Basili, R.W. Selby, Comparing the effectiveness of software testing techniques. IEEE Transactions on Software Engineering, pp.1278-1296, December 1987 https://doi.org/10.1109/TSE.1987.232881
- B. Beizer, Software Testing Techniques, International Thomson Publishing Inc., 2nd deition, 1990
- M.Wood, M.Roper, A.Brooks, and J. Miller, Comparing and Combining Software Defect Detection Techniques: A Replicated Empirical Study, in Proceedings of the 6th European Software Engineering Conference, p.262-277, 1997 https://doi.org/10.1145/267896.267915
- C. Michael, S.R. Lavenhar, Source code analysis tools overview. http://buildsecurityin.uscert.gov/portal/tools/code_analysis/overview.xml, September 2005. Published via the U.S. Department of Homeland Build Security In website
- B. Chess, G. McGraw. Static analysis for security. Security & Privacy Magazine, IEEE, pp.76-79, 2004
- M.Pizza, L.Strigini, 'Comparing the effectiveness of testing methods in improving programs: the effect of variations in program quality,' Proc. Ninth International Symposium on Software Reliability Engineering ISSRE '98, Paderborn, Germany, IEEE Computer Society Press, pp.144-153, 1998
- P. Frankl, O. Iakounenko, 'Further Empirical. Studies of Test Effectiveness,'SIGSOFT '98, Nov,. pp.153-162, 1998 https://doi.org/10.1145/288195.288298
- Y.Chernak, 'Validating and Improving Test-Case Effectiveness,' IEEE Software, January-February, pp.81-86, 2001 https://doi.org/10.1109/52.903172
- D.Brand, 'A Software Falsifier,' Proceedings, Eleventh IEEE International Symposium on Software Reliability Engineering, San Jose, CA, pp.174-185, 2000
- McCabe, A Complexity Measure, IEEE Transactions On Software Engineering, Vol.Se-2, No.4, December, pp.308-320, 1976 https://doi.org/10.1109/TSE.1976.233837