{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:03:55Z","timestamp":1776373435737,"version":"3.51.2"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/ase.2017.8115633","type":"proceedings-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T22:03:57Z","timestamp":1511474637000},"page":"200-205","source":"Crossref","is-referenced-by-count":11,"title":["Model checker execution reports"],"prefix":"10.1109","author":[{"given":"Rodrigo","family":"Castano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor","family":"Braberman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Garbervetsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Uchitel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","author":"casta\u00f1o","year":"2016","journal-title":"Model checker execution reports"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_25"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_13"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46675-9_7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11811-1_13"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606608"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503279"},{"key":"ref17","author":"jackson","year":"2012","journal-title":"Software Abstractions Logic Language and Analysis"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592438"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635894"},{"key":"ref4","author":"beyer","year":"2011","journal-title":"Conditional model checking"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786867"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_51"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393664"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1145\/309847.309942","article-title":"Symbolic model checking using sat procedures instead of bdds","author":"biere","year":"1999","journal-title":"Proceedings of the 36th Annual ACM\/IEEE Design Automation Conference"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37057-1_11"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_31"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1965724.1965743"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_32"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1808877.1808884"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17511-4_20"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2597073.2597080"}],"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\/08115633.pdf?arnumber=8115633","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,29]],"date-time":"2023-08-29T01:14:02Z","timestamp":1693271642000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8115633\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/ase.2017.8115633","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}