Skip to content

Author

Tiffany Miller

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Conference Aug 2026

LLM-Based Automated State Machine Generation and Assessment

UML state machine modeling is a critical activity for the validation/verification of requirements and the specification of dynamic system behavior. Traditionally, state machines are manually crafted and assessed by experienced engineers based on natural-language requirements - a time-consuming and errorprone procedure....

Mohamed Abdelrahman Ibrahim, Tiffany Miller, Marc-Antoine Nadeau et al. · 1 citation

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.