1 |
D.Brand, 'A Software Falsifier,' Proceedings, Eleventh IEEE International Symposium on Software Reliability Engineering, San Jose, CA, pp.174-185, 2000
|
2 |
McCabe, A Complexity Measure, IEEE Transactions On Software Engineering, Vol.Se-2, No.4, December, pp.308-320, 1976
DOI
|
3 |
B. Chess, G. McGraw. Static analysis for security. Security & Privacy Magazine, IEEE, pp.76-79, 2004
|
4 |
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
|
5 |
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
|
6 |
P. Frankl, O. Iakounenko, 'Further Empirical. Studies of Test Effectiveness,'SIGSOFT '98, Nov,. pp.153-162, 1998
DOI
|
7 |
Y.Chernak, 'Validating and Improving Test-Case Effectiveness,' IEEE Software, January-February, pp.81-86, 2001
DOI
ScienceOn
|
8 |
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
DOI
|
9 |
D.Winkler, S. Biffl, B. Riedl, 'Improvement of Design Specifications with Inspection. and Testing,' Proc. Of Euromicro 05, pp.222-230, 2005
DOI
|
10 |
B. Beizer, Software Testing Techniques, International Thomson Publishing Inc., 2nd deition, 1990
|
11 |
Ram Chillarege, 'Software Testing Best Practices,' IBM Technical Report RC 21475, Center for Software Engineering IBM Research, 1999
|
12 |
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
DOI
|
13 |
V.R. Basili, R.W. Selby, Comparing the effectiveness of software testing techniques. IEEE Transactions on Software Engineering, pp.1278-1296, December 1987
DOI
ScienceOn
|
14 |
R. S. Pressman, Software Engineering: A Practitioner's Approach, McGraw-Hill, New York, 1992
|
15 |
B.Hailpern, P.Santhanam, 'Software debugging, testing, and verification,' IBM System Journal, Vol.41, No.1, pp.4-12, 2002
DOI
|
16 |
M.E.Fagen, 'Design and code inspections to reduce errors in program development,' IBM Systems Journal, Vol.15, pp.182-211, 1976
DOI
|
17 |
M.E Fagen, 'Advances in Software Inspection,' IEEE transactions on Software Engineering, Vol 12, issue 7, pp.744-751, 1986
|
18 |
D.Graham, Software Inspection, Addison-Wesley, 1993
|
19 |
W.S.Humphrey, Managing the Software Process, Addison-Wesley, 1990
|
20 |
한동수, 정인상, software test 입문, VI Land, 2004
|