arrow
返回

ConAgent: Agent-based concolic testing to generate test data for Qt projects

delete2026-08-31
delete0
PRE
AI
D
Dat Nguyen Trong
D
Duc Nguyen Huu
L
Linh Ngoc Truc Tran
D
Duc–Anh Nguyen *
P
Phạm Ngọc Hùng
DOI:10.1016/j.infsof.2026.108301delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
• 首个面向Qt项目的基于代理的符号执行测试方法。 • 缓解符号执行测试中的问题,特别是对象初始化问题。 • 通过使用RAG和测试路径简化来缓解基于大型语言模型(LLM)方法在测试数据生成中的幻觉问题。 • 在知名Qt项目上进行全面实验,并展示高语句覆盖率和分支覆盖率。

期刊

Information and Software Technology 封面图
Information and Software Technology
IF:
4.3
论文数:
3.8K
被引数:
7.7K

机构

暂无机构信息
引用论文

引用论文

Test input generation with java PathFinder
err2004-07-01
err0
PREAI
errWillem Visser; Corina S. Pǎsǎreanu; Sarfraz Khurshid
err分享
err收藏
err分享
err收藏
Chain of Thought Utilization in Large Language Models and Application in Nephrology大型语言模型中的思维链技术及其在肾脏病学领域的应用
err2024-01-13
err0
errOAAI
errJing Miao; Charat Thongprayoon; Supawadee Suppadungsuk; Pajaree Krisanapan; Yeshwanter Radhakrishnan; Wisit Cheungpasitporn
err分享
err收藏
err分享
err收藏
CUTE
err2005-09-01
err0
PREAI
errKoushik Sen; Darko Marinov; Gul Agha
err分享
err收藏
A semantic model of program faults
err1996-05-01
err0
errOAAI
errA. Jefferson Offutt; J. Huffman Hayes
err分享
err收藏
EXE
err2008-12-01
err0
PREAI
errCristian Cadar; Vijay Ganesh; Peter M. Pawlowski; David L. Dill; Dawson R. Engler
err分享
err收藏
学者 查看更多内容