{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T10:49:21Z","timestamp":1730198961641,"version":"3.28.0"},"reference-count":52,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/ase.2017.8115649","type":"proceedings-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T17:03:57Z","timestamp":1511456637000},"page":"365-376","source":"Crossref","is-referenced-by-count":4,"title":["Comprehensive failure characterization"],"prefix":"10.1109","author":[{"given":"Mitchell J.","family":"Gerrard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew B.","family":"Dwyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2016.34"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.63"},{"key":"ref31","first-page":"36","author":"heizmann","year":"2013","journal-title":"Software Model Checking for People Who Love Automata"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15769-1_19"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491438"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23702-7_11"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2643011"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065014"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706307"},{"key":"ref27","first-page":"151","article-title":"Automated whitebox fuzz testing","volume":"8","author":"godefroid","year":"2008","journal-title":"NDSS"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806812"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_43"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28756-5_12"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512538"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8157-6_29"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60045-0_66"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606608"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635899"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336773"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_58"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2560811"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025121"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146255"},{"key":"ref10","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","volume":"8","author":"cadar","year":"2008","journal-title":"OSDI"},{"key":"ref11","first-page":"3","author":"calcagno","year":"2015","journal-title":"Moving Fast with Software Verification"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201224"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.31"},{"journal-title":"CIVL Concurrency Intermediate Verification Language","year":"0","key":"ref13"},{"key":"ref14","first-page":"154","author":"clarke","year":"2000","journal-title":"Counterexample-guided abstraction refinement"},{"key":"ref15","first-page":"168","article-title":"A tool for checking ANSI-C programs","author":"clarke","year":"2004","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004)"},{"key":"ref16","first-page":"21","author":"cousot","year":"2005","journal-title":"The ASTREE Analyzer"},{"journal-title":"CPAchecker tool","year":"0","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49122-5_16"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/244795.244800"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_42"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390634"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_16"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393664"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786832"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39176-7_1"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273489"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594329"},{"journal-title":"SV-COMP 2016 results","year":"0","key":"ref46"},{"journal-title":"SV-COMP benchmarks","year":"0","key":"ref45"},{"journal-title":"UltimateAutomizer tool","year":"0","key":"ref48"},{"journal-title":"SV-COMP 2017 results","year":"0","key":"ref47"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.03.008"},{"journal-title":"Polyspace code prover","year":"0","key":"ref41"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_42"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2807591.2807635"}],"event":{"name":"2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2017,10,30]]},"location":"Urbana, IL","end":{"date-parts":[[2017,11,3]]}},"container-title":["2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8106906\/8115603\/08115649.pdf?arnumber=8115649","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,8]],"date-time":"2018-01-08T17:47:18Z","timestamp":1515433638000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8115649\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":52,"URL":"https:\/\/doi.org\/10.1109\/ase.2017.8115649","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}