{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:29:21Z","timestamp":1750307361536,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,5,6]],"date-time":"2010-05-06T00:00:00Z","timestamp":1273104000000},"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":[[2010,5,6]]},"DOI":"10.1145\/1806672.1806684","type":"proceedings-article","created":{"date-parts":[[2010,6,8]],"date-time":"2010-06-08T12:37:34Z","timestamp":1276000654000},"page":"61-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Towards a unified fault-detection benchmark"],"prefix":"10.1145","author":[{"given":"Suzanna","family":"Schmeelk","sequence":"first","affiliation":[{"name":"ACM Member, New Brunswick, NJ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,5,6]]},"reference":[{"volume-title":"The RISOS Project","author":"Abbott R. P.","key":"e_1_3_2_1_1_1","unstructured":"R. P. Abbott , J. S. Chin , J. E. Donnelley , W. L. Konigsford , S. Tukubo , and D. A. Webb . Security analysis and enhancements of computer operating systems . In The RISOS Project , Lawrence Livermore Laboratory, Livermore, CA, USA. Published by the Institute for Computer Sciences and Technology . R. P. Abbott, J. S. Chin, J. E. Donnelley, W. L. Konigsford, S. Tukubo, and D. A. Webb. Security analysis and enhancements of computer operating systems. In The RISOS Project, Lawrence Livermore Laboratory, Livermore, CA, USA. Published by the Institute for Computer Sciences and Technology."},{"key":"e_1_3_2_1_2_1","volume-title":"USA","author":"Anderson J. P.","year":"1972","unstructured":"J. P. Anderson . Computer security technology planning study. Technical report, HQ Electronic Systems Division, Hanscom AFB, MA , USA , 1972 . J. P. Anderson. Computer security technology planning study. Technical report, HQ Electronic Systems Division, Hanscom AFB, MA, USA, 1972."},{"key":"e_1_3_2_1_3_1","unstructured":"T. Aslam. A taxonomy of security faults in the unix operating system.  T. Aslam. A taxonomy of security faults in the unix operating system."},{"key":"e_1_3_2_1_4_1","first-page":"551","volume-title":"Proceedings 19th NIST-NCSC National Information Systems Security Conference","author":"Aslam T.","unstructured":"T. Aslam , I. Krsul , and E. H. Spafford . Use of a taxonomy of security faults . In Proceedings 19th NIST-NCSC National Information Systems Security Conference , pages 551 -- 560 . T. Aslam, I. Krsul, and E. H. Spafford. Use of a taxonomy of security faults. In Proceedings 19th NIST-NCSC National Information Systems Security Conference, pages 551--560."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1251535.1251536"},{"key":"e_1_3_2_1_6_1","volume-title":"Software Testing Techniques","author":"Beizer B.","year":"1990","unstructured":"B. Beizer . Software Testing Techniques . John Wiley & Sons, Inc. , New York, NY, USA , 1990 . ISBN 0442245920. B. Beizer. Software Testing Techniques. John Wiley & Sons, Inc., New York, NY, USA, 1990. ISBN 0442245920."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"e_1_3_2_1_8_1","volume-title":"Marina del Rey","author":"Bisbey R.","year":"1978","unstructured":"R. Bisbey and D. Hollingworth . Protection analysis: Final report. technical report isi\/sr-78-13. Technical report , Marina del Rey , CA , 1978 . R. Bisbey and D. Hollingworth. Protection analysis: Final report. technical report isi\/sr-78-13. Technical report, Marina del Rey, CA, 1978."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1394504.1394505"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176617.1176667"},{"key":"e_1_3_2_1_11_1","volume-title":"PMD Applied","author":"Copeland T.","year":"2005","unstructured":"T. Copeland . PMD Applied . Centennial Books , Arlington, VA , 2005 . ISBN 0-9762214-1-1. T. Copeland. PMD Applied. Centennial Books, Arlington, VA, 2005. ISBN 0-9762214-1-1."},{"volume-title":"The next generation of static analysis","year":"2007","key":"e_1_3_2_1_12_1","unstructured":"Coverity. The next generation of static analysis , 2007 . URL http:\/\/www.coverity.com\/whitepapers. Coverity. The next generation of static analysis, 2007. URL http:\/\/www.coverity.com\/whitepapers."},{"key":"e_1_3_2_1_13_1","unstructured":"E. A. B. D. Wagner J. S. Foster and A. Aiken. A first step towards automated detection of buffer overrun vulnerabilities.  E. A. B. D. Wagner J. S. Foster and A. Aiken. A first step towards automated detection of buffer overrun vulnerabilities."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-005-3861-2"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.976940"},{"key":"e_1_3_2_1_16_1","volume-title":"Compiling a benchmark of documented multi-threaded bugs","author":"Eytani Y.","year":"2004","unstructured":"Y. Eytani and S. Ur . Compiling a benchmark of documented multi-threaded bugs . April 2004 . Y. Eytani and S. Ur. Compiling a benchmark of documented multi-threaded bugs. April 2004."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1414004.1414013"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1251535.1251537"},{"key":"e_1_3_2_1_20_1","unstructured":"IEEE. Ieee standard 610.12-1990.  IEEE. Ieee standard 610.12-1990."},{"key":"e_1_3_2_1_21_1","unstructured":"K. Knizhnik and C. Artho. Jlint manual. URL http:\/\/jlint.sourceforge.net.  K. Knizhnik and C. Artho. Jlint manual. URL http:\/\/jlint.sourceforge.net."},{"key":"e_1_3_2_1_22_1","volume-title":"Evaluating static analysis tools for detecting buffer overflows in c code","author":"Kratkiewicz K.","year":"2005","unstructured":"K. Kratkiewicz . Evaluating static analysis tools for detecting buffer overflows in c code , 2005 . K. Kratkiewicz. Evaluating static analysis tools for detecting buffer overflows in c code, 2005."},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of Workshop on the Evaluation of Software Defect Detection Tools (BUGS'05)","author":"Kratkiewicz K.","year":"2005","unstructured":"K. Kratkiewicz and R. Lippmann . Using a diagnostic corpus of c programs to evaluate buffer overflow detection by static analysis tools . In Proceedings of Workshop on the Evaluation of Software Defect Detection Tools (BUGS'05) , 2005 . K. Kratkiewicz and R. Lippmann. Using a diagnostic corpus of c programs to evaluate buffer overflow detection by static analysis tools. In Proceedings of Workshop on the Evaluation of Software Defect Detection Tools (BUGS'05), 2005."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321691"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/185403.185412"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353673.1353675"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181309.1181314"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/882493.884387"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of Workshop on the Evaluation of Software Defect Detection Tools","author":"Lu S.","year":"2005","unstructured":"S. Lu , Z. Li , F. Qin , L. Tan , P. Zhou , and Y. Zhou . Bugbench: A benchmark for evaluating bug detection tools . In Proceedings of Workshop on the Evaluation of Software Defect Detection Tools , 2005 . S. Lu, Z. Li, F. Qin, L. Tan, P. Zhou, and Y. Zhou. Bugbench: A benchmark for evaluating bug detection tools. In Proceedings of Workshop on the Evaluation of Software Defect Detection Tools, 2005."},{"key":"e_1_3_2_1_30_1","unstructured":"J. R. Lyle M. T. Laamanen and N. M. Carlson. Pest: Programs to evaluate software testing tools and techniques. URL http:\/\/www.nist.gov\/it1\/div897\/sqg\/pest\/pest.html.  J. R. Lyle M. T. Laamanen and N. M. Carlson. Pest: Programs to evaluate software testing tools and techniques. URL http:\/\/www.nist.gov\/it1\/div897\/sqg\/pest\/pest.html."},{"volume-title":"NIST Workshop on Software Security Assurace Tools, Techniques, and Metrics","year":"2005","key":"e_1_3_2_1_31_1","unstructured":"Martin, Christey, and Jarzombek. The case for common flaw enumeration . In NIST Workshop on Software Security Assurace Tools, Techniques, and Metrics , 2005 . Martin, Christey, and Jarzombek. The case for common flaw enumeration. In NIST Workshop on Software Security Assurace Tools, Techniques, and Metrics, 2005."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1387830.1387835"},{"key":"e_1_3_2_1_33_1","unstructured":"T. G. P. Mell and V. Hu. Nist icat metabase.  T. G. P. Mell and V. Hu. Nist icat metabase."},{"key":"e_1_3_2_1_34_1","unstructured":"B. Meyer. Eiffel software 2007.  B. Meyer. Eiffel software 2007."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.120314"},{"key":"e_1_3_2_1_36_1","unstructured":"Mitre. Common vulnerabilities and exposures (cve). URL http:\/\/cve.mitre.org\/.  Mitre. Common vulnerabilities and exposures (cve). URL http:\/\/cve.mitre.org\/."},{"volume-title":"Common weakness enumeration (cwe)","year":"2008","key":"e_1_3_2_1_37_1","unstructured":"Mitre. Common weakness enumeration (cwe) , 2008 . URL http:\/\/cwe.mitre.org\/data\/slices\/2000.html. Mitre. Common weakness enumeration (cwe), 2008. URL http:\/\/cwe.mitre.org\/data\/slices\/2000.html."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070515"},{"key":"e_1_3_2_1_39_1","unstructured":"NIST. Samate - software assurance metrics and tool evaluation. URL http:\/\/samate.nist.gov.  NIST. Samate - software assurance metrics and tool evaluation. URL http:\/\/samate.nist.gov."},{"key":"e_1_3_2_1_40_1","unstructured":"NIST. Common weakness enumeration (cwe) 2008.  NIST. Common weakness enumeration (cwe) 2008."},{"key":"e_1_3_2_1_41_1","volume-title":"Gaithersburg","author":"Okun V.","year":"2009","unstructured":"V. Okun ,, R. Gaucher , and P. E. Black . Static analysis tool exposition (sate) 2008. In NIST Special Publication 500-279, pages 1--64 , Gaithersburg , Maryland, USA , 2009 . Software and Systems Division. V. Okun,, R. Gaucher, and P. E. Black. Static analysis tool exposition (sate) 2008. In NIST Special Publication 500-279, pages 1--64, Gaithersburg, Maryland, USA, 2009. Software and Systems Division."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1234741.1234766"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITNG.2009.249"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1414004.1414030"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676773"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/776816.776826"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1394504.1394506"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1083200.1083209"},{"key":"e_1_3_2_1_49_1","first-page":"68","volume-title":"Proceedings 7th Nordic Workshop on Secure IT Systems","author":"Wilander J.","unstructured":"J. Wilander and M. Kamkar . A comparison of publicly available tools for static intrusion prevention . In Proceedings 7th Nordic Workshop on Secure IT Systems , pages 68 -- 84 . J. Wilander and M. Kamkar. A comparison of publicly available tools for static intrusion prevention. In Proceedings 7th Nordic Workshop on Secure IT Systems, pages 68--84."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940115"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/948109.948153"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.38"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1041685.1029911"}],"event":{"name":"PASTE '10: ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Toronto Ontario Canada","acronym":"PASTE '10"},"container-title":["Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1806672.1806684","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1806672.1806684","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:22:32Z","timestamp":1750245752000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1806672.1806684"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5,6]]},"references-count":52,"alternative-id":["10.1145\/1806672.1806684","10.1145\/1806672"],"URL":"https:\/\/doi.org\/10.1145\/1806672.1806684","relation":{},"subject":[],"published":{"date-parts":[[2010,5,6]]},"assertion":[{"value":"2010-05-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}