MCeT: Behavioral Model Correctness Evaluation using Large Language Models

Khaled Ahmed, Jialing Song, Boqi Chen +2

Behavioral model diagrams, e.g., sequence diagrams, are an essential form of documentation that are typically designed by system engineers from requirements documentation, either f…