3 papers
cs.SE2025
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…
cs.SE2025
Accurate and Consistent Graph Model Generation from Text with Large Language Models
Boqi Chen, Ou Wei, Bingzhou Zheng +1
Graph model generation from natural language description is an important task with many applications in software engineering. With the rise of large language models (LLMs), there i…
cs.CR2024
EVeCA: Efficient and Verifiable On-Chain Data Query Framework Using Challenge-Based Authentication
Meng Shen, Yuzhi Liu, Qinglin Zhao +4
As blockchain applications become increasingly widespread, there is a rising demand for on-chain data queries. However, existing schemes for on-chain data queries face a challenge…