5 papers
WebCQ: Cooperative Multi-Agent Deep Reinforcement Learning for Scalable Web GUI Testing
Yujia Fan, Sinan Wang, Zebang Fei +3
Multi-agent reinforcement learning (MARL)-based techniques have shown promise for GUI testing. However, as the complexity of modern GUI software increases, existing MARL-based appr…
Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
Manqing Zhang, Yunwei Dong, Lingru Zhou +2
Formal verification using interactive theorem provers ensures high-quality software. However, writing proof scripts for interactive theorem provers is labor-intensive and requires…
Towards Understanding Android APIs: Official Lists, Vendor Customizations, and Real-World Usage
Sinan Wang, Qi Zhang, Jiacheng Li +3
Android apps are built on APIs that abstract core Android system functionalities. These APIs are officially documented in multiple files distributed with the Android source code or…
OODEval: Evaluating Large Language Models on Object-Oriented Design
Bingxu Xiao, Yunwei Dong, Yiqi Tang +4
Recent advances in large language models (LLMs) have driven extensive evaluations in software engineering. however, most prior work concentrates on code-level tasks, leaving softwa…
Multi-agent Assisted Automatic Test Generation for Java JSON Libraries
Sinan Wang, Zhiyuan Zhong, Shaojin Wen +1
JSON is a widely used format for data exchange between applications. In the Java ecosystem, JSON libraries serve as fundamental toolkits for processing JSON data, powering real-wor…