{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,25]],"date-time":"2026-01-25T05:44:36Z","timestamp":1769319876687,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642169007","type":"print"},{"value":"9783642169014","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16901-4_32","type":"book-chapter","created":{"date-parts":[[2010,11,8]],"date-time":"2010-11-08T17:40:06Z","timestamp":1289238006000},"page":"485-500","source":"Crossref","is-referenced-by-count":7,"title":["Software Metrics in Static Program Analysis"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Vogelsang","sequence":"first","affiliation":[]},{"given":"Ansgar","family":"Fehnker","sequence":"additional","affiliation":[]},{"given":"Ralf","family":"Huuck","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Reif","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"32_CR1","doi-asserted-by":"publisher","first-page":"145","DOI":"10.5381\/jot.2004.3.4.a8","volume":"3","author":"L. Badri","year":"2004","unstructured":"Badri, L., Badri, M.: A proposal of a new class cohesion criterion: An empirical study. Journal of Object Technology\u00a03(4), 145\u2013159 (2004)","journal-title":"Journal of Object Technology"},{"key":"32_CR2","unstructured":"Clark, J., DeRose, S.: XML Path Language 1.0 (XPath). W3C (1999), \n                    \n                      http:\/\/www.w3.org\/TR\/xpath"},{"key":"32_CR3","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"32_CR4","first-page":"356","volume-title":"Proceedings of the Fourth International Conference on Software Engineering","author":"B. Curtis","year":"1979","unstructured":"Curtis, B., Sheppard, S.B., Milliman, P.: Third time charm: Stronger prediction of programmer performance by software complexity metrics. In: Proceedings of the Fourth International Conference on Software Engineering, pp. 356\u2013360. IEEE Computer Society Press, Los Alamitos (1979)"},{"issue":"2","key":"32_CR5","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1109\/TSE.1976.233538","volume":"SE-5","author":"J. Elshoff","year":"1976","unstructured":"Elshoff, J.: An analysis of some commercial PL\/I programs. IEEE Transactions on Software Engineering\u00a0SE-5(2), 113\u2013120 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"Fehnker, A., Huuck, R., Jayet, P., Lussenburg, M., Rauch, F.: Model Checking Software at Compile Time. In: Proceedings of the 1st International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China (2007)","DOI":"10.1109\/TASE.2007.34"},{"key":"32_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-642-05415-0_18","volume-title":"Software Process and Product Measurement","author":"J. Ferzund","year":"2009","unstructured":"Ferzund, J., Ahsan, S.N., Wotawa, F.: Empirical evaluation of hunk metrics as bug predictors. In: Abran, A., Braungarten, R., Dumke, R.R., Cuadrado-Gallego, J.J., Brunekreef, J. (eds.) IWSM 2009. LNCS, vol.\u00a05891, pp. 242\u2013254. Springer, Heidelberg (2009)"},{"key":"32_CR8","unstructured":"IBM: In pursuit of code quality: Code quality for software architects, Website \n                    \n                      http:\/\/www.ibm.com\/developerworks\/java\/library\/j-cq04256\/\n                    \n                    \n                   (visited on February 3, 2010)"},{"key":"32_CR9","unstructured":"IEEE: IEEE Standard for a Software Quality Metrics Methodology. Institute of Electrical and Electronics Engineers (1061)"},{"key":"32_CR10","series-title":"Alan Apt series","volume-title":"Agile software development: principles, patterns, and practices","author":"R.C. Martin","year":"2003","unstructured":"Martin, R.C.: Agile software development: principles, patterns, and practices. Alan Apt series. Prentice-Hall, Englewood Cliffs (2003)"},{"issue":"4","key":"32_CR11","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/TSE.1976.233837","volume":"2","author":"T.J. McCabe","year":"1976","unstructured":"McCabe, T.J.: A complexity measure. IEEE Transactions on Software Engineering\u00a02(4), 308\u2013320 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"32_CR12","volume-title":"Code Complete: A Practical Handbook of Software Construction","author":"S. McConnell","year":"1993","unstructured":"McConnell, S.: Code Complete: A Practical Handbook of Software Construction. Microsoft Press, Redmond (1993)"},{"key":"32_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1007\/3-540-44839-X_76","volume-title":"Computational Science and Its Applications - ICCSA 2003","author":"S.C. Misra","year":"2003","unstructured":"Misra, S.C., Bhavsar, V.C.: Relationships between selected software measures and latent bug-density: Guidelines for improving quality. In: Kumar, V., Gavrilova, M.L., Tan, C.J.K., L\u2019Ecuyer, P. (eds.) ICCSA 2003. LNCS, vol.\u00a02667, pp. 724\u2013732. Springer, Heidelberg (2003)"},{"key":"32_CR14","first-page":"452","volume-title":"ICSE 2006: Proceedings of the 28th International Conference on Software Engineering","author":"N. Nagappan","year":"2006","unstructured":"Nagappan, N., Ball, T., Zeller, A.: Mining metrics to predict component failures. In: ICSE 2006: Proceedings of the 28th International Conference on Software Engineering, pp. 452\u2013461. ACM, New York (2006)"},{"key":"32_CR15","unstructured":"The Standish Group: Chaos report (2009), Website \n                    \n                      http:\/\/www1.standishgroup.com\/newsroom\/chaos_2009.php\n                    \n                    \n                   (visited on February 25, 2010)"},{"key":"32_CR16","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.entcs.2009.09.066","volume":"254","author":"M. Vistein","year":"2009","unstructured":"Vistein, M., Ortmeier, F., Reif, W., Huuck, R., Fehnker, A.: An abstract specification language for static program analysis. Electr. Notes Theor. Comput. Sci.\u00a0254, 181\u2013197 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16901-4_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T03:56:49Z","timestamp":1553227009000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16901-4_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642169007","9783642169014"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16901-4_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}