{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:25Z","timestamp":1772163925221,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,1]],"date-time":"2005-09-01T00:00:00Z","timestamp":1125532800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,9]]},"DOI":"10.1145\/1081706.1081768","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T12:34:39Z","timestamp":1131366879000},"page":"381-384","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Utilizing verification and validation certificates to estimate software defect density"],"prefix":"10.1145","author":[{"given":"Mark","family":"Sherriff","sequence":"first","affiliation":[{"name":"North Carolina State University, Raleigh, NC"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/268437.268462"},{"key":"e_1_3_2_1_2_1","unstructured":"Boehm B. W. \"Building Parametric Models \" International Advanced School of Empirical Software Engineering Rome Italy September 29 2003.  Boehm B. W. \"Building Parametric Models \" International Advanced School of Empirical Software Engineering Rome Italy September 29 2003."},{"key":"e_1_3_2_1_3_1","volume-title":"Software Cost Estimation with COCOMO II","author":"Boehm B. W.","year":"2000","unstructured":"Boehm , B. W. , Horowitz , E. , Madachy , R. , Reifer , D. , Clark , B. , Steece , B. , Brown , A. W. , Chulani , S. , and Abts , C. , Software Cost Estimation with COCOMO II . Upper Saddle River, NJ : Prentice Hall , 2000 . Boehm, B. W., Horowitz, E., Madachy, R., Reifer, D., Clark, B., Steece, B., Brown, A. W., Chulani, S., and Abts, C., Software Cost Estimation with COCOMO II. Upper Saddle River, NJ: Prentice Hall, 2000."},{"key":"e_1_3_2_1_4_1","volume-title":"A Component Based Software Reliability Model,\" Conference of the Centre for Advanced Studies on C","author":"Dolbec J.","year":"1995","unstructured":"Dolbec , J. and Shepard , T. , \" A Component Based Software Reliability Model,\" Conference of the Centre for Advanced Studies on C , 1995 . Dolbec, J. and Shepard, T., \"A Component Based Software Reliability Model,\" Conference of the Centre for Advanced Studies on C, 1995."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.153.0182"},{"key":"e_1_3_2_1_6_1","unstructured":"International Society of Parametric Analysts \"Parametric Estimating Handbook.\" Available Online. Online Handbook. http:\/\/www.ispa-cost.org\/PEIWeb\/Third_edition\/newbook.htm.  International Society of Parametric Analysts \"Parametric Estimating Handbook.\" Available Online. Online Handbook. http:\/\/www.ispa-cost.org\/PEIWeb\/Third_edition\/newbook.htm."},{"key":"e_1_3_2_1_7_1","first-page":"319","volume-title":"CO","author":"Kent S.","year":"1998","unstructured":"Kent , S. , \" Evaluating certification authority security,\" IEEE Aerospace Conference, Aspen , CO , March 21-28, 1998 , pp. 319 -- 327 . Kent, S., \"Evaluating certification authority security,\" IEEE Aerospace Conference, Aspen, CO, March 21-28, 1998, pp. 319--327."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Musa J. \"Theory of Software Reliability and its Applications \" IEEE Transactions on Software Engineering pp. 312--327 1975.  Musa J. \"Theory of Software Reliability and its Applications \" IEEE Transactions on Software Engineering pp. 312--327 1975.","DOI":"10.1109\/TSE.1975.6312856"},{"key":"e_1_3_2_1_9_1","volume-title":"Software Reliability Engineering: McGraw-Hill","author":"Musa J.","year":"1998","unstructured":"Musa , J. , Software Reliability Engineering: McGraw-Hill , 1998 . Musa, J., Software Reliability Engineering: McGraw-Hill, 1998."},{"key":"e_1_3_2_1_10_1","volume-title":"North Carolina State University","author":"Nagappan N.","year":"2005","unstructured":"Nagappan , N. , \"A Software Testing and Reliability Early Warning (STREW) Metric Suite,\" Ph D Dissertation , North Carolina State University , 2005 . Nagappan, N., \"A Software Testing and Reliability Early Warning (STREW) Metric Suite,\" PhD Dissertation, North Carolina State University, 2005."},{"key":"e_1_3_2_1_11_1","first-page":"154","volume-title":"International Symposium on Software Reliability Engineering","author":"Rivers A. T.","year":"1998","unstructured":"Rivers , A. T. , Vouk , M.A. , \" Resource-Constrained Non -Operational Testing of Software,\" International Symposium on Software Reliability Engineering , Paderborn, Germany , 1998 , pp. 154 -- 163 . Rivers, A. T., Vouk, M.A., \"Resource-Constrained Non-Operational Testing of Software,\" International Symposium on Software Reliability Engineering, Paderborn, Germany, 1998, pp. 154--163."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1083274.1083285"},{"key":"e_1_3_2_1_13_1","first-page":"61","volume-title":"IEEE International Symposium on Software Reliability Engineering, St","author":"Sherriff M.","year":"2004","unstructured":"Sherriff , M. , Williams , L. , \" Tool Support For Estimating Software Reliability in Haskell Programs,\" Student Paper , IEEE International Symposium on Software Reliability Engineering, St . Malo, France , 2004 , pp. 61 -- 62 . Sherriff, M., Williams, L., \"Tool Support For Estimating Software Reliability in Haskell Programs,\" Student Paper, IEEE International Symposium on Software Reliability Engineering, St. Malo, France, 2004, pp. 61--62."},{"key":"e_1_3_2_1_14_1","volume-title":"Auditable Development of High-Assurance Systems in Haskell,\" High Confidence Software and Systems","author":"The Programatica Team","year":"2003","unstructured":"The Programatica Team , \"Programatica Tools for Certifiable , Auditable Development of High-Assurance Systems in Haskell,\" High Confidence Software and Systems , Baltimore, MD , 2003 . The Programatica Team, \"Programatica Tools for Certifiable, Auditable Development of High-Assurance Systems in Haskell,\" High Confidence Software and Systems, Baltimore, MD, 2003."},{"key":"e_1_3_2_1_15_1","volume-title":"Pair Programming Illuminated","author":"Williams L.","year":"2002","unstructured":"Williams , L. and Kessler , R. , Pair Programming Illuminated . Boston : Addison-Wesley , 2002 . Williams, L. and Kessler, R., Pair Programming Illuminated. Boston: Addison-Wesley, 2002."}],"event":{"name":"ESEC\/FSE05: Joint 10th European Software Engineering Conference 2005","location":"Lisbon Portugal","acronym":"ESEC\/FSE05","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1081706.1081768","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1081706.1081768","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:18:37Z","timestamp":1750249117000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1081706.1081768"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9]]},"references-count":15,"alternative-id":["10.1145\/1081706.1081768","10.1145\/1081706"],"URL":"https:\/\/doi.org\/10.1145\/1081706.1081768","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1095430.1081768","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,9]]},"assertion":[{"value":"2005-09-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}