Mokav: Execution-driven differential testing with LLMs

Khashayar Etemadi

doi:10.1016/j.jss.2025.112571

2025-07-19

DOI：10.1016/j.jss.2025.112571

原文链接

原文求助

摘要

En 中文

• Mokav是基于LLM的首个用于差异暴露测试生成的工具 • C4DET是一个包含1,535对具有微小语义差异程序的精选数据集 • Mokav的迭代执行驱动方法在差异测试中优于当前最优技术 • 一个引导LLM关于输入结构的示例测试能显著提高测试的有效性

Keyword:

Test generation

Large language models

Behavioral difference

期刊

Journal of Systems and Software

IF:

4.1

论文数:

5.5K

被引数:

8.4K

机构

KTH Royal Institute of Technology

学者数:

1.3K

论文数: 777

被引数: 2.6W

Sharif University of Technology

学者数:

1.1W

论文数: 1.1W

被引数: 9.5K

ETH Zurich

学者数:

3.0W

论文数: 2.4W

被引数: 8.4W

查看更多机构

引用论文

Fuzz4All: Universal Fuzzing with Large Language Models

Proceedings of the IEEE/ACM 46th International Conference on Software Engineering

IF0

2024-04-12

OAAI

Chunqiu Steven Xia; Matteo Paltenghi; Jia Le Tian; Michael Pradel; Lingming Zhang

Augmenting Diffs With Runtime Information

IF0

2023-11-01

PREAI

Khashayar Etemadi; Aman Sharma; Fernanda Madeiral; Martin Monperrus

Towards More Realistic Evaluation for Neural Test Oracle Generation

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis

IF0

2023-07-13

OAAI

Zhongxin Liu; Kui Liu; Xin Xia; Xiaohu Yang

TOGA

Proceedings of the 44th International Conference on Software Engineering

IF0

2022-07-05

OAAI

Elizabeth Dinella; Gabriel Ryan; Todd Mytkowicz; Shuvendu K. Lahiri

Container-based Sandboxes for Malware Analysis 基于容器的恶意软件分析沙箱

Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing

IF0

2019-12-02

PREAI

Ayrat Khalimov; Sofiane Benahmed; Rasheed Hussain; S.M. Ahsan Kazmi; Alma Oracevic; Fatima Hussain; Farhan Ahmad; Chaker Abdelaziz Kerrache

Demo: Discovering Faulty Patches in Robotic Vehicle Control Software

IF0

2023-01-01

PREAI

Hyungsub Kim; Muslum Ozgur Ozmen; Z. Berkay Celik; Antonio Bianchi; Dongyan Xu

How Often Do Single-Statement Bugs Occur?

Proceedings of the 17th International Conference on Mining Software Repositories

IF0

2020-09-18

OAAI

Rafael-Michael Karampatsis; Charles Sutton

A Generative and Mutational Approach for Synthesizing Bug-Exposing Test Cases to Guide Compiler Fuzzing

IF0

2023-11-30

PREAI

Guixin Ye; Tianmin Hu; Zhanyong Tang; Zhenye Fan; Shin Hwei Tan; Bo Zhang; Wenxiang Qian; Zheng Wang

Search-based detection of deviation failures in the migration of legacy spreadsheet applications

IF0

2018-07-12

PREAI

M. Moein Almasi; Hadi Hemmati; Gordon Fraser; Phil McMinn; Janis Benefelds

A systematic literature review of techniques and metrics to reduce the cost of mutation testing 降低突变测试成本的技术和指标的系统文献综述

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2019-11-01

PREAI

Pizzoleto, Alessandro Viola; Ferrari, Fabiano Cutigi; Offutt, Jeff; Fernandes, Leo; Ribeiro, Marcio

查看更多内容