{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T23:44:41Z","timestamp":1725752681217},"reference-count":37,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,9]],"date-time":"2023-10-09T00:00:00Z","timestamp":1696809600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,9]],"date-time":"2023-10-09T00:00:00Z","timestamp":1696809600000},"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":[[2023,10,9]]},"DOI":"10.1109\/issre59848.2023.00065","type":"proceedings-article","created":{"date-parts":[[2023,11,2]],"date-time":"2023-11-02T13:47:34Z","timestamp":1698932854000},"page":"218-227","source":"Crossref","is-referenced-by-count":1,"title":["Crucible: Graphical Test Cases for Alloy Models"],"prefix":"10.1109","author":[{"given":"Adam G.","family":"Emerson","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":[{"year":"2006","author":"jackson","journal-title":"Software Abstractions Logic Language and Analysis","key":"ref13"},{"year":"2015","author":"zave","journal-title":"How to make Chord correct (using a stable base)","key":"ref35"},{"year":"2023","author":"guti\u00e9rrez brida","journal-title":"ICEBAR Feedback-Driven Iterative Repair of Alloy Specifications","key":"ref12"},{"key":"ref34","first-page":"577","article-title":"Contract-based data structure repair using Alloy","author":"zaeem","year":"2010","journal-title":"ECOOP"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/ICDAR.2001.953813"},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.1109\/ICSE43902.2021.00065"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1145\/347324.383378"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.1145\/3533767.3534369"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1145\/3236024.3264594"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1109\/ISSRE5003.2020.00044"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1007\/978-3-642-19835-9_15"},{"key":"ref33","first-page":"225","article-title":"Flexisketch: A mobile sketching tool for software modeling","author":"w\u00fcest","year":"2012","journal-title":"International Conference on Mobile Computing Applications and Services"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/TSE.2013.15"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1145\/3009837.3009838"},{"year":"2022","key":"ref2"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1109\/CSF.2010.27"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/FormaliSE58978.2023.00013"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1007\/978-3-030-48077-6_5"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1145\/3106237.3106272"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1109\/ASE.2001.989787"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1109\/ICST.2018.00047"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1145\/2025113.2025153"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1145\/2632362.2632369"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1109\/ICST.2017.31"},{"key":"ref20","first-page":"1","article-title":"The Margrave tool for firewall analysis","author":"nelson","year":"2010","journal-title":"LISA"},{"key":"ref22","article-title":"JavaScript Frameworks: Angular vs React vs Vue","author":"saks","year":"2019","journal-title":"Master’s thesis"},{"year":"2023","key":"ref21"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1145\/3238147.3238162"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1109\/MM.2019.2910010"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1145\/3183440.3183488"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/32.52777"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1145\/3296979.3192373"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/TSE.2022.3162985"},{"key":"ref4","article-title":"Bounded exhaustive search of alloy specification repairs","author":"brida","year":"2021","journal-title":"ICSE"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1007\/s00165-017-0445-z"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/HCC.2003.1260232"},{"key":"ref5","first-page":"288","article-title":"Timely specification repair for alloy 6","author":"cerqueira","year":"2022","journal-title":"Software Engineering and Formal Methods"}],"event":{"name":"2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE)","start":{"date-parts":[[2023,10,9]]},"location":"Florence, Italy","end":{"date-parts":[[2023,10,12]]}},"container-title":["2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10299935\/10299936\/10299937.pdf?arnumber=10299937","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,27]],"date-time":"2023-11-27T14:32:57Z","timestamp":1701095577000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10299937\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,9]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/issre59848.2023.00065","relation":{},"subject":[],"published":{"date-parts":[[2023,10,9]]}}}