{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T02:02:23Z","timestamp":1776304943008,"version":"3.50.1"},"reference-count":50,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/ase.2017.8115686","type":"proceedings-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T22:03:57Z","timestamp":1511474637000},"page":"753-764","source":"Crossref","is-referenced-by-count":19,"title":["Parallel bug-finding in concurrent programs via reduced interleaving instances"],"prefix":"10.1109","author":[{"given":"Truc L.","family":"Nguyen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Schrammel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Fischer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salvatore La","family":"Torre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gennaro","family":"Parlato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555260"},{"key":"ref38","first-page":"267","article-title":"Finding and reproducing heisenbugs in concurrent programs","author":"musuvathi","year":"2008","journal-title":"8th USENIX Symposium on Operating Systems Design and Implementation OSDI 2008"},{"key":"ref33","first-page":"398","article-title":"Lazy-cseq: A lazy sequentialization tool for C - (competition contribution)","volume":"8413","author":"inverso","year":"2014","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems — 20th International Conference TACAS 2014 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2014"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_36"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0078-9"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996845"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34026-0_28"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491453"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46520-3_12"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-59647-1_20"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_60"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70724"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49122-5_15"},{"key":"ref2","first-page":"256","article-title":"Parallelizing the murphi verifier","volume":"1254","author":"stern","year":"1997","journal-title":"Computer Aided Verification 9th International Conference CAV '97 Haifa Israel June 22–25 1997 Proceedings ser Lecture Notes in Computer Science"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.110"},{"key":"ref20","first-page":"209","article-title":"KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"8th USENIX Symposium on Operating Systems Design and Implementation OSDI 2008"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2858651"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2016.7886679"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677002"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-40026-5_4"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73370-6_13"},{"key":"ref25","first-page":"259","article-title":"Cluster-based LTL model checking of large systems","volume":"4111","author":"barnat","year":"2005","journal-title":"Proceedings of Formal Methods for Components and Objects 4th International Symposium FMCO 2005"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.108"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_39"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12002-2_35"},{"key":"ref12","author":"vyukov","year":"2010","journal-title":"Bug with a context switch bound 5"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1007912.1007944"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775928"},{"key":"ref15","volume":"3800","author":"m\u00fcller-olm","year":"2006","journal-title":"Variations on Constants - Flow Analysis of Sequential and Parallel Programs ser Lecture Notes in Computer Science"},{"key":"ref16","first-page":"710","article-title":"Cseq: A concurrency preprocessor for sequential C verification tools","author":"fischer","year":"2013","journal-title":"2013 28th IEEE\/ACM International Conference on Automated Software Engineering ASE 2013"},{"key":"ref17","first-page":"389","volume":"8413","author":"kroening","year":"2014","journal-title":"CBMC - C bounded model checker - (competition contribution)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_15"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.9"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02777-2_47"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61511-3_87"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1613\/jair.2490","article-title":"Satzilla: Portfolio-based algorithm selection for SAT","volume":"32","author":"xu","year":"2008","journal-title":"J Artif Intell Res"},{"key":"ref8","first-page":"341","article-title":"Smart selective competition parallelism ATP","author":"sutcliffe","year":"1999","journal-title":"Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1142\/S0218001499000136"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66197-1_12"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250785"},{"key":"ref46","first-page":"375","article-title":"Lazy-cseq 2.0: Combining lazy sequentialization with abstract interpretation - (competition contribution)","volume":"10206","author":"nguyen","year":"2017","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems — 23rd International Conference TACAS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2017"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2009.29"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_52"},{"key":"ref47","first-page":"938","article-title":"Mu-cseq 0.4: Individual memory location unwindings - (competition contribution)","volume":"9636","author":"tomasco","year":"2016","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems — 22nd International Conference TACAS 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2016"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35182-2_17"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950395"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_54"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542500"}],"event":{"name":"2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Urbana, IL","start":{"date-parts":[[2017,10,30]]},"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\/08115686.pdf?arnumber=8115686","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,6]],"date-time":"2019-10-06T18:32:03Z","timestamp":1570386723000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8115686\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":50,"URL":"https:\/\/doi.org\/10.1109\/ase.2017.8115686","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}