-
1
-
-
0021199968
-
Optimizing Preventive Service of Software Products
-
E. N. Adams. Optimizing Preventive Service of Software Products. IBM J. of Research and Development, 28(1), 1984.
-
(1984)
IBM J. of Research and Development
, vol.28
, Issue.1
-
-
Adams, E.N.1
-
2
-
-
57849148659
-
Correlation between coding standards compliance and software quality
-
Programming Research Ltd
-
W. Basalaj. Correlation between coding standards compliance and software quality. White paper, Programming Research Ltd., 2006.
-
(2006)
White paper
-
-
Basalaj, W.1
-
4
-
-
70349933468
-
Assessing the Value of Coding Standards: An Empirical Study
-
Technical Report TUDSERG-2008-017, Delft University of Technology
-
C. Boogerd and L. Moonen. Assessing the Value of Coding Standards: An Empirical Study. Technical Report TUDSERG-2008-017, Delft University of Technology, 2008.
-
(2008)
-
-
Boogerd, C.1
Moonen, L.2
-
5
-
-
84975277890
-
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions
-
October
-
D. Engler, B. Chelf, A. Chou, and S. Hallem. Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. In Proc. 4th Symp. on Operating Systems Design and Implementation, October 2000.
-
(2000)
Proc. 4th Symp. on Operating Systems Design and Implementation
-
-
Engler, D.1
Chelf, B.2
Chou, A.3
Hallem, S.4
-
6
-
-
0036041420
-
Bugs as deviant behavior: A general approach to inferring errors in systems code
-
D. Engler, D. Y. Chen, S. Hallem, A. Chou, and B. Chelf. Bugs as deviant behavior: a general approach to inferring errors in systems code. In Symp. on Operating Systems Principles, 2001.
-
(2001)
Symp. on Operating Systems Principles
-
-
Engler, D.1
Chen, D.Y.2
Hallem, S.3
Chou, A.4
Chelf, B.5
-
7
-
-
0034245310
-
Quantitative Analysis of Faults and Failures in a Complex Software System
-
N. E. Fenton and N. Ohlsson. Quantitative Analysis of Faults and Failures in a Complex Software System. IEEE Trans. Softw. Eng., 26(8), 2000.
-
(2000)
IEEE Trans. Softw. Eng
, vol.26
, Issue.8
-
-
Fenton, N.E.1
Ohlsson, N.2
-
8
-
-
0036036098
-
Extended static checking for java
-
C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended static checking for java. In Proc. ACM Conf. on Programming Language Design and Implementation, 2002.
-
(2002)
Proc. ACM Conf. on Programming Language Design and Implementation
-
-
Flanagan, C.1
Leino, K.R.M.2
Lillibridge, M.3
Nelson, G.4
Saxe, J.B.5
Stata, R.6
-
9
-
-
30344485154
-
Empirical Validation of Object-Oriented Metrics on Open Source Software for Fault Prediction
-
T. Gyimóthy, R. Ferenc, and I. Siket. Empirical Validation of Object-Oriented Metrics on Open Source Software for Fault Prediction. IEEE Trans. Softw. Eng., 31(10), 2005.
-
(2005)
IEEE Trans. Softw. Eng
, vol.31
, Issue.10
-
-
Gyimóthy, T.1
Ferenc, R.2
Siket, I.3
-
11
-
-
33847669831
-
Language subsetting in an industrial context: A comparison of MISRA C 1998 and MISRA C 2004
-
L. Hatton. Language subsetting in an industrial context: A comparison of MISRA C 1998 and MISRA C 2004. Information & Softw. Technology, 49(5), 2007.
-
(2007)
Information & Softw. Technology
, vol.49
, Issue.5
-
-
Hatton, L.1
-
13
-
-
0012529658
-
Lint, a C program checker
-
chapter 15
-
S. C. Johnson. Lint, a C program checker. In Unix Programmer's Manual, volume 2A, chapter 15. 1978.
-
(1978)
Unix Programmer's Manual
, vol.2 A
-
-
Johnson, S.C.1
-
19
-
-
34547229642
-
Have things changed now?: An empirical study of bug characteristics in modern open source software
-
Z. Li, L. Tan, X. Wang, S. Lu, Y. Zhou, and C. Zhai. Have things changed now?: an empirical study of bug characteristics in modern open source software. In Proc. 1st Workshop on Architectural and System Support for Improving Softw. Dependability, 2006.
-
(2006)
Proc. 1st Workshop on Architectural and System Support for Improving Softw. Dependability
-
-
Li, Z.1
Tan, L.2
Wang, X.3
Lu, S.4
Zhou, Y.5
Zhai, C.6
-
23
-
-
47349111561
-
Correlations between Internal Software Metrics and Softw. Dependability in a Large Population of Small C/C++ Programs
-
M. van der Meulen and M. Revilla. Correlations between Internal Software Metrics and Softw. Dependability in a Large Population of Small C/C++ Programs. In Proc. 18th IEEE Int. Symp. on Softw. Reliability, 2007.
-
(2007)
Proc. 18th IEEE Int. Symp. on Softw. Reliability
-
-
van der Meulen, M.1
Revilla, M.2
-
24
-
-
50549089646
-
An evaluation of two bug pattern tools for java
-
S. Wagner, F. Deissenboeck, M. Aichner, J. Wimmer, and M. Schwalb. An evaluation of two bug pattern tools for java. In 1st Int. Conf. on Softw. Testing, Verification, and Validation, 2008.
-
(2008)
1st Int. Conf. on Softw. Testing, Verification, and Validation
-
-
Wagner, S.1
Deissenboeck, F.2
Aichner, M.3
Wimmer, J.4
Schwalb, M.5
-
25
-
-
24944501226
-
Comparing bug finding tools with reviews and tests
-
Proc. 17th Int. Conf. on Testing of Communicating Systems, of
-
S.Wagner, J. Jürjens, C. Koller, and P. Trischberger. Comparing bug finding tools with reviews and tests. In Proc. 17th Int. Conf. on Testing of Communicating Systems, volume 3502 of LNCS, 2005.
-
(2005)
LNCS
, vol.3502
-
-
Wagner, S.1
Jürjens, J.2
Koller, C.3
Trischberger, P.4
-
27
-
-
24344496977
-
Automatic Mining of Source Code Repositories to Improve Bug Finding Techniques
-
C. C. Williams and J. K. Hollingsworth. Automatic Mining of Source Code Repositories to Improve Bug Finding Techniques. IEEE Trans. Softw. Eng., 31(6), 2005.
-
(2005)
IEEE Trans. Softw. Eng
, vol.31
, Issue.6
-
-
Williams, C.C.1
Hollingsworth, J.K.2
|