most citedFrom Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs

2 citations · 5 across the 11 of their papers we have counts for

collaborators
Showing cs.SEShow all

7 papers · 1 filter

cs.SE2026

Toward Functional and Non-Functional Evaluation of Application-Level Code Generation

Ruwei Pan, Yakun Zhang, Qingyuan Liang +4

Large language models (LLMs) have achieved strong performance on code generation. However, most prior evaluations focus on snippet-level outputs, such as function generation or rep…

cs.SE2025

MINES: Explainable Anomaly Detection through Web API Invariant Inference

Wenjie Zhang, Yun Lin, Chun Fung Amos Kwok +5

Detecting the anomalies of web applications, important infrastructures for running modern companies and governments, is crucial for providing reliable web services. Many modern web…

cs.SE2025★ 1 cited

LLMAID: Identifying AI Capabilities in Android Apps with LLMs

Pei Liu, Terry Zhuo, Jiawei Deng +7

Recent advancements in artificial intelligence (AI) and its widespread integration into mobile software applications have received significant attention, highlighting the growing p…

cs.SE2025

AdaCoder: An Adaptive Planning and Multi-Agent Framework for Function-Level Code Generation

Yueheng Zhu, Chao Liu, Xuan He +4

Recently, researchers have proposed many multi-agent frameworks for function-level code generation, which aim to improve software development productivity by automatically generati…

cs.SE2025

MoT: Modularization-of-Thought Prompting for Effective Code Generation

Ruwei Pan, Hongyu Zhang

Large Language Models are transforming software development by automatically generating code. Current prompting techniques such as Chain-of-Thought (CoT) suggest tasks step by step…

cs.SE2025

AgentDroid: A Multi-Agent Framework for Detecting Fraudulent Android Applications

Ruwei Pan, Hongyu Zhang, Zhonghao Jiang +1

With the increasing prevalence of fraudulent Android applications such as fake and malicious applications, it is crucial to detect them with high accuracy and adaptability. We pres…

cs.SE2025★ 2 cited

CodeCoR: An LLM-Based Self-Reflective Multi-Agent Framework for Code Generation

Ruwei Pan, Hongyu Zhang, Chao Liu

Code generation aims to produce code that fulfills requirements written in natural language automatically. Large Language Models (LLMs) like ChatGPT have demonstrated promising eff…