MCeT: Behavioral Model Correctness Evaluation using Large Language Models
Khaled Ahmed; Jialing Song; Boqi Chen; Ou Wei; Bingzhou Zheng
- Published
- Publisher
- IEEE
- Journal / collection
- 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS)
- Research area
- AI & compute
- Source type
- Conference paper
- DOI
- 10.1109/models67397.2025.00014
The original publisher provides the full text and its access options.
Cite this source
Khaled Ahmed; Jialing Song; Boqi Chen; Ou Wei; Bingzhou Zheng. MCeT: Behavioral Model Correctness Evaluation using Large Language Models. 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS). 2025-10-05. https://doi.org/10.1109/models67397.2025.00014