{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T14:50:20Z","timestamp":1779202220928,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,22]],"date-time":"2024-09-22T00:00:00Z","timestamp":1726963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2204536"],"award-info":[{"award-number":["2204536"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,22]]},"DOI":"10.1145\/3640310.3674088","type":"proceedings-article","created":{"date-parts":[[2024,9,30]],"date-time":"2024-09-30T13:38:07Z","timestamp":1727703487000},"page":"57-68","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-8102-7329","authenticated-orcid":false,"given":"Guanxuan","family":"Wu","sequence":"first","affiliation":[{"name":"The University of Texas at Arlington, Arlington, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7400-2218","authenticated-orcid":false,"given":"Allison","family":"Sullivan","sequence":"additional","affiliation":[{"name":"The University of Texas at Arlington, Arlington, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,9,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Behcet Acikmese. 2015. Spectrum of Laplacians for Graphs with Self-Loops. arXiv:1505.08133 [math.OC]"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2010.27"},{"key":"e_1_3_2_1_3_1","volume-title":"Xuan-Bach Dinh Le, and Aditya K. Ghose.","author":"Alhefdhi Abdulaziz","year":"2020","unstructured":"Abdulaziz Alhefdhi, Khanh Hoa Dam, Xuan-Bach Dinh Le, and Aditya K. Ghose. 2020. Adversarial Patch Generation for Automatic Program Repair. ArXiv abs\/2012.11060 (2020). https:\/\/api.semanticscholar.org\/CorpusID:260510563"},{"key":"e_1_3_2_1_4_1","volume-title":"International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=H1gKYo09tX","author":"Alon Uri","year":"2019","unstructured":"Uri Alon, Omer Levy, and Eran Yahav. 2019. code2seq: Generating Sequences from Structured Representations of Code. In International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=H1gKYo09tX"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Hamid Bagheri Eunsuk Kang Sam Malek and Daniel Jackson. 2018. A formal approach for detection of security flaws in the Android permission system. Formal Asp. Comput. (2018).","DOI":"10.1007\/s00165-017-0445-z"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1998.738528"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-17108-6_18"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3296979.3192373"},{"key":"e_1_3_2_1_9_1","unstructured":"Ana In\u00eas Oliveira de Barros. 2023. Data-Driven Hint Generation for Alloy using Historial Student Submissions. (2023)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2184512.2184552"},{"key":"e_1_3_2_1_11_1","volume-title":"TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds. TSE","author":"Galeotti J. P.","year":"2013","unstructured":"J. P. Galeotti, N. Rosner, C. G. L\u00f3pez Pombo, and M. F. Frias. 2013. TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds. TSE (2013)."},{"key":"e_1_3_2_1_12_1","volume-title":"Large-Scale Learnable Graph Convolutional Networks. CoRR abs\/1808.03965","author":"Gao Hongyang","year":"2018","unstructured":"Hongyang Gao, Zhengyang Wang, and Shuiwang Ji. 2018. Large-Scale Learnable Graph Convolutional Networks. CoRR abs\/1808.03965 (2018). arXiv:1808.03965 http:\/\/arxiv.org\/abs\/1808.03965"},{"key":"e_1_3_2_1_13_1","volume-title":"Muhammad Zubair Malik, and Sarfraz Khurshid","author":"Gopinath Divya","year":"2011","unstructured":"Divya Gopinath, Muhammad Zubair Malik, and Sarfraz Khurshid. 2011. Specification-Based Program Repair Using SAT. In TACAS. 173--188."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v31i1.10742"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3556944"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00105"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.3389\/frai.2021.590215"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Daniel Jackson and Mandana Vaziri. 2000. Finding Bugs with a Constraint Solver. In ISSTA.","DOI":"10.1145\/347324.383378"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3524482.3527651"},{"key":"e_1_3_2_1_21_1","unstructured":"Ruoyu Li Sheng Wang Feiyun Zhu and Junzhou Huang. 2018. Adaptive Graph Convolutional Neural Networks. In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence and Thirtieth Innovative Applications of Artificial Intelligence Conference and Eighth AAAI Symposium on Educational Advances in Artificial Intelligence (New Orleans Louisiana USA) (AAAI'18\/IAAI'18\/EAAI'18). AAAI Press Article 434 8 pages."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106253"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837617"},{"key":"e_1_3_2_1_24_1","unstructured":"Nuno Macedo Alcino Cunha Jos\u00e9 Pereira Renato Carvalho Ricardo Silva Ana C. R. Paiva Miguel S. Ramalho and Daniel Silva. 2019. Sharing and Learning Alloy on the Web. arXiv:1907.02275 [cs.CY]"},{"key":"e_1_3_2_1_25_1","unstructured":"Darko Marinov and Sarfraz Khurshid. 2001. TestEra: A Novel Framework for Automated Testing of Java Programs. In ASE."},{"key":"e_1_3_2_1_26_1","unstructured":"Timothy Nelson Christopher Barratt Daniel J. Dougherty Kathi Fisler and Shriram Krishnamurthi. 2010. The Margrave Tool for Firewall Analysis. In LISA."},{"key":"e_1_3_2_1_27_1","volume-title":"How Amazon Web Services Uses Formal Methods. Commun. ACM 58 (March","author":"Newcombe Chris","year":"2015","unstructured":"Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, and Michael Deardeuff. 2015. How Amazon Web Services Uses Formal Methods. Commun. ACM 58 (March 2015), 66--73."},{"key":"e_1_3_2_1_28_1","volume-title":"Learning Convolutional Neural Networks for Graphs. CoRR abs\/1605.05273","author":"Niepert Mathias","year":"2016","unstructured":"Mathias Niepert, Mohamed Ahmed, and Konstantin Kutzkov. 2016. Learning Convolutional Neural Networks for Graphs. CoRR abs\/1605.05273 (2016). arXiv:1605.05273 http:\/\/arxiv.org\/abs\/1605.05273"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.5634224"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.heliyon.2023.e17001"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Michael Schlichtkrull Thomas N. Kipf Peter Bloem Rianne van den Berg Ivan Titov and Max Welling. 2017. Modeling Relational Data with Graph Convolutional Networks. arXiv:1703.06103 [stat.ML]","DOI":"10.1007\/978-3-319-93417-4_38"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/APR59189.2023.00012"},{"key":"e_1_3_2_1_33_1","unstructured":"Allison Sullivan. 2017. Automated Testing and Sketching of Alloy Models. Ph.D. Dissertation. University of Texas at Austin."},{"key":"e_1_3_2_1_34_1","volume-title":"Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach","author":"Trippel Caroline","year":"2019","unstructured":"Caroline Trippel, Daniel Lustig, and Margaret Martonosi. 2019. Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach. IEEE Micro (2019)."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3340544"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","unstructured":"Hongwei Wang Jia Wang Jialin Wang Miao Zhao Weinan Zhang Fuzheng Zhang Xing Xie and Minyi Guo. 2017. GraphGAN: Graph Representation Learning with Generative Adversarial Nets. https:\/\/doi.org\/10.48550\/ARXIV.1711.08267","DOI":"10.48550\/ARXIV.1711.08267"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238162"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91271-4_8"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91271-4_9"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3524610.3527915"},{"key":"e_1_3_2_1_41_1","volume-title":"Constantinides","author":"Wickerson John","year":"2017","unstructured":"John Wickerson, Mark Batty, Tyler Sorensen, and George A. Constantinides. 2017. Automatically Comparing Memory Consistency Models. In POPL."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2022.109450"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2023.3341992"},{"key":"e_1_3_2_1_44_1","volume-title":"Guanxuan Wu, Frank L. Lewis, and Hai Lin.","author":"Wu Honghui","year":"2023","unstructured":"Honghui Wu, Ahmet Taha Koru, Guanxuan Wu, Frank L. Lewis, and Hai Lin. 2023. Structural Balance of Complex Weighted Graphs and Multi-partite Consensus. arXiv:2311.04389 [eess.SY]"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341105.3374005"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"crossref","unstructured":"Razieh Nokhbeh Zaeem and Sarfraz Khurshid. 2010. Contract-Based Data Structure Repair Using Alloy. In ECOOP. 577--598.","DOI":"10.1007\/978-3-642-14107-2_27"},{"key":"e_1_3_2_1_47_1","volume-title":"How to Make Chord Correct (Using a Stable Base). CoRR abs\/1502.06461","author":"Zave Pamela","year":"2015","unstructured":"Pamela Zave. 2015. How to Make Chord Correct (Using a Stable Base). CoRR abs\/1502.06461 (2015)."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00086"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534369"}],"event":{"name":"MODELS '24: ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems","location":"Linz Austria","acronym":"MODELS '24","sponsor":["Johannes Kepler University, Linz, Austria","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3640310.3674088","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3640310.3674088","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T23:52:32Z","timestamp":1755906752000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3640310.3674088"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,22]]},"references-count":49,"alternative-id":["10.1145\/3640310.3674088","10.1145\/3640310"],"URL":"https:\/\/doi.org\/10.1145\/3640310.3674088","relation":{},"subject":[],"published":{"date-parts":[[2024,9,22]]},"assertion":[{"value":"2024-09-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}