{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:49:42Z","timestamp":1757544582967},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,1]],"date-time":"2022-10-01T00:00:00Z","timestamp":1664582400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,1]],"date-time":"2022-10-01T00:00:00Z","timestamp":1664582400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10]]},"DOI":"10.1109\/issre55969.2022.00031","type":"proceedings-article","created":{"date-parts":[[2022,12,21]],"date-time":"2022-12-21T13:58:20Z","timestamp":1671631100000},"page":"229-238","source":"Crossref","is-referenced-by-count":4,"title":["REACH: Refining Alloy Scenarios by Size (Tools and Artifact Track)"],"prefix":"10.1109","author":[{"given":"Ana","family":"Jovanovic","sequence":"first","affiliation":[{"name":"University of Texas at Arlington,Arlington,TX,USA"}]},{"given":"Allison","family":"Sullivan","sequence":"additional","affiliation":[{"name":"University of Texas at Arlington,Arlington,TX,USA"}]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45234-6_2"},{"key":"ref10","article-title":"A case for efficient solution enumeration","author":"khurshid","year":"2003","journal-title":"SAT"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814323"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.10.001"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24485-8_44"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989787"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106272"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606569"},{"key":"ref17","article-title":"The Margrave tool for firewall analysis","author":"nelson","year":"2010","journal-title":"LISA"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950336"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95582-7_34"},{"journal-title":"Incremental analysis of evolving alloy models","year":"2019","author":"wang","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66197-1_11"},{"key":"ref27","doi-asserted-by":"crossref","DOI":"10.1109\/MM.2019.2910010","article-title":"Security verification via auto-matic hardware-aware exploit synthesis: The CheckMate approach","author":"trippel","year":"2019","journal-title":"IEEE Micro"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/566189.566191"},{"key":"ref6","article-title":"SMTSampler: Efficient stimulus generation from complex SMT constraints","author":"dutra","year":"2018","journal-title":"In ICCAD"},{"key":"ref29","first-page":"577","article-title":"Contract-based data structure repair using Alloy","author":"zaeem","year":"2010","journal-title":"ECOOP"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167339"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606608"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2022.3162985"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950337"},{"journal-title":"Software Abstractions Logic Language and Analysis","year":"2006","author":"jackson","key":"ref9"},{"journal-title":"The Alloy Analyzer","year":"2019","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3133915"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0653(04)00311-7"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14107-2_26"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32409-4_21"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE52982.2021.00064"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2017.31"}],"event":{"name":"2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)","start":{"date-parts":[[2022,10,31]]},"location":"Charlotte, NC, USA","end":{"date-parts":[[2022,11,3]]}},"container-title":["2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9978763\/9978935\/09978991.pdf?arnumber=9978991","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,16]],"date-time":"2023-01-16T14:31:00Z","timestamp":1673879460000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9978991\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/issre55969.2022.00031","relation":{},"subject":[],"published":{"date-parts":[[2022,10]]}}}