4 papers
QSPE: Enumerating Skeletal Quantum Programs for Quantum Library Testing
Jiaming Ye, Fuyuan Zhang, Shangzhou Xia +4
The rapid advancement of quantum computing has led to the development of various quantum libraries, empowering compilation, simulation, and hardware backend interfaces. However, en…
A Comprehensive Empirical Evaluation of Agent Frameworks on Code-centric Software Engineering Tasks
Zhuowen Yin, Cuifeng Gao, Chunsong Fan +3
Unlike traditional automation tools or static LLM-based systems, agents combine decision-making and tool utilization to accomplish complex tasks, showing great potential in softwar…
Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling
Yan Li, Wenzhang Yang, Yuekun Wang +4
Fuzzing a library requires experts to understand the library usage well and craft high-quality fuzz drivers, which is tricky and tedious. Therefore, many techniques have been propo…
Conformance Testing of Relational DBMS Against SQL Specifications
Shuang Liu, Chenglin Tian, Jun Sun +6
A Relational Database Management System (RDBMS) is one of the fundamental software that supports a wide range of applications, making it critical to identify bugs within these syst…