{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T13:58:47Z","timestamp":1766066327341,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/icse.2013.6606566","type":"proceedings-article","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T18:38:03Z","timestamp":1380652683000},"page":"202-211","source":"Crossref","is-referenced-by-count":8,"title":["Detecting spurious counterexamples efficiently in abstract model checking"],"prefix":"10.1109","author":[{"given":"Cong","family":"Tian","sequence":"first","affiliation":[{"name":"ICTT and ISN Laboratory, Xidian University, Xi'an, 710071, P.R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenhua","family":"Duan","sequence":"additional","affiliation":[{"name":"ICTT and ISN Laboratory, Xidian University, Xi'an, 710071, P.R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"337","article-title":"Specification and verification of concurrent systems in CESAR","author":"quielle","year":"1981","journal-title":"Proceedings of the 5th International Symposium on Programming"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.105"},{"journal-title":"Computer Aided Verificaton of Coordinating Processes","year":"1994","author":"kurshan","key":"18"},{"key":"15","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/3-540-36577-X_13","article-title":"Multiple-counterexample guided iterative abstraction refinement: An industrial evaluation","author":"glusman","year":"2003","journal-title":"Proc Tools and Algorithms for the Construction and Analysis of Systems (TACAS)"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503279"},{"key":"13","doi-asserted-by":"crossref","DOI":"10.1007\/10722167_15","article-title":"Counterexample guided abstraction refinement, in Proc","volume":"1855","author":"clarke","year":"2000","journal-title":"12th Int Conf Computer-Aided Verification (CAV00)"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2000.896460"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.829807"},{"journal-title":"Counterexampleguided Abstraction Refinement","year":"2000","author":"clarke","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.873897"},{"key":"20","article-title":"Integrated formal verification: Using model checking with automated abstraction, invariant generation, and theorem proving","author":"rushby","year":"0","journal-title":"Presented at Theoretical and Practical Aspects of SPIN Model Checking Proc 5th and 6th Int SPIN Workshops\\"},{"year":"0","key":"22"},{"key":"23","doi-asserted-by":"crossref","DOI":"10.1016\/j.tcs.2011.12.014","article-title":"An efficient approach for abstractionrefinement in model checking","author":"tian","year":"2012","journal-title":"Theoretical Computer Science"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22685-4_36"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378846"},{"key":"26","first-page":"35","article-title":"SLAM2: Static driver verification with under 4% false alarms","author":"ball","year":"2010","journal-title":"FMCAD"},{"key":"27","first-page":"235","article-title":"Software verification with blast","author":"henzinger","year":"2003","journal-title":"Proceedings of the 10th SPin Workshop on Model Checking Software (SPIN) Lecture Notes in Computer Science 2648"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_28"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0155-3"},{"key":"3","article-title":"Static partial order reduction","volume":"1394","author":"kurshan","year":"1998","journal-title":"Tools for the Construction and Analysis of Systems LNCS"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19630090502"},{"key":"10","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/3-540-45657-0_20","article-title":"SAT based abstraction-refinement using ilp and machine learning techniques","author":"clarke","year":"2002","journal-title":"Proc Computer-Aided Verification (CAV)"},{"key":"1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36126-X_3","article-title":"Automated abstraction refinement for model checking large state spaces using sat based conflict analysis","author":"chauhan","year":"2002","journal-title":"Proc Formal Methods in Computer Aided Design (FMCAD)"},{"key":"7","article-title":"Desigh and syntesis of of synchronization skeletons using branching time temporal logic","author":"clarke","year":"1981","journal-title":"Logic of Programs Workshop"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"5","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3-540-58043-3_19","article-title":"Verification tools for finite state concurrent systems","volume":"803","author":"clarke","year":"1993","journal-title":"A Decade of Concurrency Reflections and Perspectives"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01384314"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"journal-title":"Bounded Model Checking Volume 58 of Advances in Computers","year":"2003","author":"biere","key":"8"}],"event":{"name":"2013 35th International Conference on Software Engineering (ICSE)","start":{"date-parts":[[2013,5,18]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,5,26]]}},"container-title":["2013 35th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596173\/6606539\/06606566.pdf?arnumber=6606566","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,9]],"date-time":"2021-04-09T20:11:14Z","timestamp":1617999074000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6606566\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/icse.2013.6606566","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}