浏览会议记录

基于搜索的方法已经成为自动化Android测试的标准技术。然而，欺骗性的健身景观使得很难在合理的时间内找到最佳解决方案。提供了一种替代经典搜索算法的方法。。。

深度神经网络（DNN）越来越多地用于安全关键型系统的决策（例如，医疗应用、自动车辆等）。早期对抗性示例的研究表明，它们可能会阻碍DNN的。。。

减少软件碳足迹有助于避免气候变化。过去的研究表明，开发商缺乏能源消耗和碳足迹方面的知识，现有的减排指导方针很难实施。。。

测试大型复杂的企业软件系统可能是一项具有挑战性的任务。当系统的功能依赖于通过网络与其他外部服务（例如，外部REST API）的交互时，情况尤其如此。。。

在这项研究中，我们探索了通过基因改良来自动减少网页碳足迹的方法，这是一个通过应用程序转换来优化程序质量，从而生成程序替代版本的过程。。。

为了提高软件测试的成本效益，测试用例选择已经被广泛研究。由于该问题的搜索空间巨大，基于搜索的方法被发现是有效的，其中优化。。。

测试用例优先化技术已经成为优化这个过程和降低回归测试成本的有效策略。通常，黑盒启发法利用信息检索（例如余弦。。。${}_{}$

在基于搜索的软件工程（SBSE）的动态环境中，工具和算法不断改进，可能会使过去的实验见解过时。如果一项新设计的技术与……相比有副作用，这可能会发生。。。

使用大型语言模型（LLM）执行机器学习任务的方法之一是在要求他们生成预测之前为他们提供一些示例。这是一个元学习过程，称为少快照学习。在本文中。。。

基于AI的图像生成受系统参数和用户定义提示的方式的限制。即时工程和AI调优配置都是当前开放的研究挑战，它们需要大量手动工作才能生成。。。$$

自动化测试生成中的一个主要挑战是可读性生成的测试。新兴的大型语言模型（LLM）擅长语言分析和转换任务。我们建议改进测试可读性就是这样一项任务，并探索。。。

大型语言模型（LLM）最近被集成到包括软件工程任务在内的各种应用程序中。在这项工作中，我们研究了LLM的使用，以增强软件补丁的可解释性。特别是，我们评估了。。。

大型语言模型（LLM）已成功应用于软件工程任务，包括程序修复。然而，它们在诸如遗传改良（GI）等基于搜索的技术中的应用在很大程度上尚未探索。在本文中。。。$\mathrm{}$

我们介绍了一种新的自动测试技术，它结合了LLM和基于搜索的模糊化。我们使用ChatGPT对C程序进行参数化。我们编译得到的代码片段，并将可编译的代码片段提供给SearchGEM5，这是我们对AFL++fuzzer的扩展。。。