{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:57:42Z","timestamp":1760043462432,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,26]],"date-time":"2018-10-26T00:00:00Z","timestamp":1540512000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1421503, CCF-1718903, and CNS-1740916"],"award-info":[{"award-number":["CCF-1421503, CCF-1718903, and CNS-1740916"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,26]]},"DOI":"10.1145\/3236024.3264594","type":"proceedings-article","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T12:06:00Z","timestamp":1540814760000},"page":"916-919","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["ASketch: a sketching framework for Alloy"],"prefix":"10.1145","author":[{"given":"Kaiyuan","family":"Wang","sequence":"first","affiliation":[{"name":"University of Texas at Austin, USA"}]},{"given":"Allison","family":"Sullivan","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}]},{"given":"Darko","family":"Marinov","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, USA"}]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}]}],"member":"320","published-online":{"date-parts":[[2018,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Jean-Raymond Abrial. 2005. The B-Book: Assigning Programs to Meanings.   Jean-Raymond Abrial. 2005. The B-Book: Assigning Programs to Meanings."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Aleksandar Milicevic Joseph P. Near Eunsuk Kang and Daniel Jackson. 2015. Alloy*: A General-purpose Higher-order Relational Constraint Solver. In ICSE.   Aleksandar Milicevic Joseph P. Near Eunsuk Kang and Daniel Jackson. 2015. Alloy*: A General-purpose Higher-order Relational Constraint Solver. In ICSE.","DOI":"10.1109\/ICSE.2015.77"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106272"},{"key":"e_1_3_2_1_5_1","unstructured":"Terence Parr. 2013. The Definitive ANTLR 4 Reference.   Terence Parr. 2013. The Definitive ANTLR 4 Reference."},{"key":"e_1_3_2_1_6_1","volume":"201","author":"Saghafi Salman","unstructured":"Salman Saghafi , Ryan Danas , and Daniel J. Dougherty. 201 5. Exploring Theories with a Model-Finding Assistant. In CADE. Salman Saghafi, Ryan Danas, and Daniel J. Dougherty. 2015. Exploring Theories with a Model-Finding Assistant. In CADE.","journal-title":"Daniel J. Dougherty."},{"key":"e_1_3_2_1_8_1","unstructured":"J Michael Spivey. 198 10.5555\/42447"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Allison Sullivan Kaiyuan Wang and Sarfraz Khurshid. 2018. AUnit: A Test Automation Tool for Alloy. In ICST.  Allison Sullivan Kaiyuan Wang and Sarfraz Khurshid. 2018. AUnit: A Test Automation Tool for Alloy. In ICST.","DOI":"10.1109\/ICST.2018.00047"},{"key":"e_1_3_2_1_10_1","unstructured":"Allison Sullivan Kaiyuan Wang Sarfraz Khurshid and Darko Marinov. 2017. Evaluating State Modeling Techniques in Alloy. In SQAMIA.  Allison Sullivan Kaiyuan Wang Sarfraz Khurshid and Darko Marinov. 2017. Evaluating State Modeling Techniques in Alloy. In SQAMIA."},{"key":"e_1_3_2_1_11_1","volume-title":"Razieh Nokhbeh Zaeem, and Sarfraz Khurshid","author":"Sullivan Allison","year":"2017","unstructured":"Allison Sullivan , Kaiyuan Wang , Razieh Nokhbeh Zaeem, and Sarfraz Khurshid . 2017 . Automated Test Generation and Mutation Testing for Alloy. In ICST. Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, and Sarfraz Khurshid. 2017. Automated Test Generation and Mutation Testing for Alloy. In ICST."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2632362.2632369"},{"key":"e_1_3_2_1_13_1","volume-title":"Kodkod: A Relational Model Finder. In TACAS.","author":"Torlak Emina","year":"2007","unstructured":"Emina Torlak and Daniel Jackson . 2007 . Kodkod: A Relational Model Finder. In TACAS. Emina Torlak and Daniel Jackson. 2007. Kodkod: A Relational Model Finder. In TACAS."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238162"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183488"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Kaiyuan Wang Allison Sullivan Manos Koukoutos Darko Marinov and Sarfraz Khurshid. 2018. Systematic Generation of Non-Equivalent Expressions for Relational Algebra. In ABZ.  Kaiyuan Wang Allison Sullivan Manos Koukoutos Darko Marinov and Sarfraz Khurshid. 2018. Systematic Generation of Non-Equivalent Expressions for Relational Algebra. In ABZ.","DOI":"10.1007\/978-3-319-91271-4_8"},{"key":"e_1_3_2_1_17_1","unstructured":"Kaiyuan Wang Allison Sullivan Darko Marinov and Sarfraz Khurshid. 2018. Fault Localization for Declarative Models in Alloy. In eprint arXiv:1807.08707.  Kaiyuan Wang Allison Sullivan Darko Marinov and Sarfraz Khurshid. 2018. Fault Localization for Declarative Models in Alloy. In eprint arXiv:1807.08707."},{"key":"e_1_3_2_1_18_1","unstructured":"Kaiyuan Wang Allison Sullivan Darko Marinov and Sarfraz Khurshid. 2018. Solver-based Sketching Alloy Models using Test Valuations. In ABZ. Abstract 1 Introduction 2 AUnit Background 3 Technique 3.1 Input Language 3.2 Synthesizer 4 Usage 5 Evaluation 6 Conclusion Acknowledgments References  Kaiyuan Wang Allison Sullivan Darko Marinov and Sarfraz Khurshid. 2018. Solver-based Sketching Alloy Models using Test Valuations. In ABZ. Abstract 1 Introduction 2 AUnit Background 3 Technique 3.1 Input Language 3.2 Synthesizer 4 Usage 5 Evaluation 6 Conclusion Acknowledgments References"}],"event":{"name":"ESEC\/FSE '18: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Lake Buena Vista FL USA","acronym":"ESEC\/FSE '18"},"container-title":["Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3264594","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236024.3264594","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236024.3264594","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:27Z","timestamp":1750208247000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3264594"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,26]]},"references-count":17,"alternative-id":["10.1145\/3236024.3264594","10.1145\/3236024"],"URL":"https:\/\/doi.org\/10.1145\/3236024.3264594","relation":{},"subject":[],"published":{"date-parts":[[2018,10,26]]},"assertion":[{"value":"2018-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}