{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,17]],"date-time":"2026-09-17T08:03:44Z","timestamp":1789632224284,"version":"build-2803163510"},"reference-count":38,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"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":[[2026,8]]},"DOI":"10.1109\/rew72749.2026.00053","type":"proceedings-article","created":{"date-parts":[[2026,9,16]],"date-time":"2026-09-16T19:09:59Z","timestamp":1789585799000},"page":"291-300","source":"Crossref","is-referenced-by-count":0,"title":["LLM-Based Automated State Machine Generation and Assessment"],"prefix":"10.1109","author":[{"given":"Mohamed Abdelrahman","family":"Ibrahim","sequence":"first","affiliation":[{"name":"Electrical and Computer Engineering, McGill University","place":["Montreal, Canada"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tiffany","family":"Miller","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering, McGill University","place":["Montreal, Canada"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marc-Antoine","family":"Nadeau","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering, McGill University","place":["Montreal, Canada"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rehean","family":"Thillainathalingam","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering, McGill University","place":["Montreal, Canada"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Boqi","family":"Chen","sequence":"additional","affiliation":[{"name":"School of Electrical Engineering and Computer Science, University of Ottawa","place":["Ottawa, Canada"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gunter","family":"Mussbacher","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering, McGill University","place":["Montreal, Canada"]}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Unified Modeling Language Specification Version 2.5.1","year":"2017"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/287000.287001"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/565816.503275"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-024-01228-3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3561833.3561839"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS58315.2023.00037"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-023-01105-5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/REW57809.2023.00052"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3640310.3674081"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.52202\/068431-1800"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.52202\/075280-0517"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3652620.3687807"},{"key":"ref14","volume-title":"Introducing Claude Sonnet 4.5,\u201d September 2025","year":"2026"},{"key":"ref15","volume-title":"Introducing GPT-5.5,\u201d April 2026","year":"2026"},{"key":"ref16","volume-title":"Gemini 3.1 Pro Preview,\u201d Febuary 2026","year":"2026"},{"key":"ref17","volume-title":"Gemini 3.1 Pro: A Smarter Model for Your Most Complex Tasks,\u201d February 2026","year":"2026"},{"key":"ref18","article-title":"Structure- and event-driven frameworks for state machine modeling with large language models","volume-title":"arXiv preprint","author":"Abdulkarim","year":"2026"},{"key":"ref19","volume-title":"About mermaid","year":"2026"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.38124\/ijisrt\/26feb1435"},{"key":"ref21","article-title":"Language models are few-shot learners","volume-title":"arXiv preprint","author":"Brown","year":"2020"},{"key":"ref22","volume-title":"mermaid-parser-py,\u201d 2026","author":"Chen","year":"2026"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.findings-emnlp.432"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1037\/h0026256"},{"key":"ref25","volume-title":"Experiment Material,\u201d 2026","author":"Abdelrahman Ibrahim","year":"2026"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.11613\/BM.2012.031"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_32"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2019.8668007"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/IWQoS65803.2025.11143461"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-025-01263-8"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS-C59198.2023.00096"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3652620.3687810"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3627673.3679608"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER58687.2023.00008"},{"key":"ref35","first-page":"1460","article-title":"Automated grading of DFA constructions","volume-title":"Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI)","author":"Alur","year":"2013"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3649217.3653599"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3365438.3410944"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3652620.3687774"}],"event":{"name":"2026 IEEE 34th International Requirements Engineering Conference Workshops (REW)","location":"Montreal, QC, Canada","start":{"date-parts":[[2026,8,17]]},"end":{"date-parts":[[2026,8,21]]}},"container-title":["2026 IEEE 34th International Requirements Engineering Conference Workshops (REW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11677728\/11677769\/11677799.pdf?arnumber=11677799","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,9,17]],"date-time":"2026-09-17T07:18:21Z","timestamp":1789629501000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11677799\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,8]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/rew72749.2026.00053","relation":{},"subject":[],"published":{"date-parts":[[2026,8]]}}}