{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T20:50:37Z","timestamp":1769719837603,"version":"3.49.0"},"reference-count":7,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,11,16]]},"DOI":"10.1109\/ase63991.2025.00391","type":"proceedings-article","created":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T20:54:38Z","timestamp":1769633678000},"page":"4125-4127","source":"Crossref","is-referenced-by-count":0,"title":["First-Order Quantified Separator in Alloy Analyzer"],"prefix":"10.1109","author":[{"given":"One","family":"An","sequence":"first","affiliation":[{"name":"University of Pennsylvania,Philadelphia,PA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Human factors of formal methods","volume-title":"CoRR","volume":"abs\/1404.7247","author":"Spichkova","year":"2014"},{"key":"ref2","article-title":"Formal methods: Oversold? underused? A survey","volume-title":"CoRR","volume":"abs\/1812.08815","author":"Gleirscher","year":"2018"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386018"},{"key":"ref4","article-title":"Constrained ltl specification learning from examples","author":"Zhang","year":"2024"},{"key":"ref5","article-title":"Efficient synthesis of symbolic distributed protocols by sketching","author":"Egolf","year":"2024"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.358.0.07"},{"key":"ref7","article-title":"Synthesis of component and connector models from crosscutting structural views","volume-title":"CoRR","volume":"abs\/1408.5696","author":"Maoz","year":"2014"}],"event":{"name":"2025 40th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Seoul, Korea, Republic of","start":{"date-parts":[[2025,11,16]]},"end":{"date-parts":[[2025,11,20]]}},"container-title":["2025 40th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11334056\/11334198\/11334648.pdf?arnumber=11334648","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T09:58:35Z","timestamp":1769680715000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11334648\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,16]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/ase63991.2025.00391","relation":{},"subject":[],"published":{"date-parts":[[2025,11,16]]}}}