Apr, 2024

人们提示:LLM 在软件验证和伪造方法中的下游任务的分类

TL;DR通过细致地剖析 80 篇论文,我们研究了软件测试和验证研究社区如何抽象构建基于大型语言模型(LLMs)的解决方案。我们验证了下游任务是否能够传达基于提示的解决方案的蓝图,并确定了解决方案中的任务数量和性质。为此,我们开发了一种新的下游任务分类方法,能够在涵盖测试、模糊测试、调试、漏洞检测、静态分析和程序验证方法的软件工程问题的多样化光谱中准确定位一些工程模式。