-
2
-
-
36549070602
-
Evaluating static analysis defect warnings on production software
-
ACM Press
-
N. Ayewah, W. Pugh, J. D. Morgenthaler, J. Penix, and Y. Zhou. Evaluating static analysis defect warnings on production software. In Proc. 7th Workshop on Program Analysis for Software Tools and Engineering (PASTE '07), pages 1-8. ACM Press, 2007.
-
(2007)
Proc. 7th Workshop on Program Analysis for Software Tools and Engineering (PASTE '07)
, pp. 1-8
-
-
Ayewah, N.1
Pugh, W.2
Morgenthaler, J.D.3
Penix, J.4
Zhou, Y.5
-
3
-
-
0024699072
-
Design recovery for maintenance and reuse
-
T. J. Biggerstaff. Design recovery for maintenance and reuse. Computer, 22(7):36-49, 1989.
-
(1989)
Computer
, vol.22
, Issue.7
, pp. 36-49
-
-
Biggerstaff, T.J.1
-
4
-
-
0037629380
-
How to write system-specific, static checkers in Metal
-
B. Chelf, D. Engler, and S. Hallem. How to write system-specific, static checkers in Metal. In Proc. 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE '02), pages 51-60, 2002.
-
(2002)
Proc. 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE '02)
, pp. 51-60
-
-
Chelf, B.1
Engler, D.2
Hallem, S.3
-
7
-
-
47349098250
-
An activity-based quality model for maintainability
-
IEEE Computer Society Press
-
F. Deissenboeck, S.Wagner, M. Pizka, S. Teuchert, and J.-F. Girard. An activity-based quality model for maintainability. In Proc. 23rd International Conference on Software Maintenance (ICSM '07). IEEE Computer Society Press, 2007.
-
(2007)
Proc. 23rd International Conference on Software Maintenance (ICSM '07)
-
-
Deissenboeck, F.1
Wagner, S.2
Pizka, M.3
Teuchert, S.4
Girard, J.-F.5
-
11
-
-
14544301479
-
Finding bugs is easy
-
D. Hovemeyer and W. Pugh. Finding bugs is easy. SIGPLAN Notices, 39(12):92-106, 2004.
-
(2004)
SIGPLAN Notices
, vol.39
, Issue.12
, pp. 92-106
-
-
Hovemeyer, D.1
Pugh, W.2
-
12
-
-
50649124145
-
-
IEEE Std 610.12-1990. IEEE Standard Glossary of Software Engineering Terminology, 1990.
-
IEEE Std 610.12-1990. IEEE Standard Glossary of Software Engineering Terminology, 1990.
-
-
-
-
14
-
-
23744480722
-
SABER: Smart analysis based error reduction
-
ACM Press
-
D. Reimer, E. Schonberg, K. Srinivas, H. Srinivasan, B. Alpern, R. D. Johnson, A. Kershenbaum, and L. Koved. SABER: Smart analysis based error reduction. In Proc. International Symposium on Software Testing and Analysis (ISSTA '04), pages 243-251. ACM Press, 2004.
-
(2004)
Proc. International Symposium on Software Testing and Analysis (ISSTA '04)
, pp. 243-251
-
-
Reimer, D.1
Schonberg, E.2
Srinivas, K.3
Srinivasan, H.4
Alpern, B.5
Johnson, R.D.6
Kershenbaum, A.7
Koved, L.8
-
17
-
-
34247390552
-
A model and sensitivity analysis of the quality economics of defect-detection techniques
-
ACM Press
-
S. Wagner. A model and sensitivity analysis of the quality economics of defect-detection techniques. In Proc. International Symposium on Software Testing and Analysis (ISSTA '06), pages 73-83. ACM Press, 2006.
-
(2006)
Proc. International Symposium on Software Testing and Analysis (ISSTA '06)
, pp. 73-83
-
-
Wagner, S.1
-
18
-
-
24944501226
-
Comparing bug finding tools with reviews and tests
-
Proc. 17th International Conference on Testing of Communicating Systems TestCom '05, of, Springer
-
S. Wagner, J. Jürjens, C. Koller, and P. Trischberger. Comparing bug finding tools with reviews and tests. In Proc. 17th International Conference on Testing of Communicating Systems (TestCom '05), volume 3502 of LNCS, pages 40-55. Springer, 2005.
-
(2005)
LNCS
, vol.3502
, pp. 40-55
-
-
Wagner, S.1
Jürjens, J.2
Koller, C.3
Trischberger, P.4
-
19
-
-
33646501895
-
On the value of static analysis for fault detection in software
-
J. Zheng, L. Williams, N. Nagappan, W. Snipes, J. P. Hudepohl, and M. A. Vouk. On the value of static analysis for fault detection in software. IEEE Transactions on Software Engineering, 32(4):240-253, 2006.
-
(2006)
IEEE Transactions on Software Engineering
, vol.32
, Issue.4
, pp. 240-253
-
-
Zheng, J.1
Williams, L.2
Nagappan, N.3
Snipes, W.4
Hudepohl, J.P.5
Vouk, M.A.6
|