Copertina

Mokav: Execution-driven Differential Testing with LLMs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Etemadi, Khashayar, Mohammadi, Bardia, Su, Zhendong, Monperrus, Martin
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

CigaR: Cost-efficient Program Repair with LLMs
di: Hidvégi, Dávid, et al.
Pubblicazione: (2024)

CppPerf: An Automated Pipeline and Dataset for Performance-Improving C++ Commits
di: Ho, Tommy, et al.
Pubblicazione: (2026)

VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models
di: Sevenhuijsen, Merlijn, et al.
Pubblicazione: (2024)

LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems
di: Etemadi, Khashayar, et al.
Pubblicazione: (2025)

Generative AI to Generate Test Data Generators
di: Baudry, Benoit, et al.
Pubblicazione: (2024)

FIKA: Expanding Dependency Reachability with Executability Guarantees
di: Gamage, Yogya, et al.
Pubblicazione: (2026)

From Natural Language to Executable Properties for Property-based Testing of Mobile Apps
di: Xiong, Yiheng, et al.
Pubblicazione: (2026)

A Large-Scale Study of Call Graph-based Impact Prediction using Mutation Testing
di: Musco, Vincenzo, et al.
Pubblicazione: (2018)

PROZE: Generating Parameterized Unit Tests Informed by Runtime Data
di: Tiwari, Deepika, et al.
Pubblicazione: (2024)

Bootstrapping Coding Agents: The Specification Is the Program
di: Monperrus, Martin
Pubblicazione: (2026)

Software Supply Chain Security of Web3
di: Monperrus, Martin
Pubblicazione: (2025)

The Grand Software Supply Chain of AI Systems
di: Cesarano, Carmine, et al.
Pubblicazione: (2026)

Galapagos: Automated N-Version Programming with LLMs
di: Ron, Javier, et al.
Pubblicazione: (2024)

SmartDoc: A Context-Aware Agentic Method Comment Generation Plugin
di: Etemadi, Vahid, et al.
Pubblicazione: (2025)

GitBug-Java: A Reproducible Benchmark of Recent Java Bugs
di: Silva, André, et al.
Pubblicazione: (2024)

Breaking-Good: Explaining Breaking Dependency Updates with Build Analysis
di: Reyes, Frank, et al.
Pubblicazione: (2024)

Mimicking Production Behavior with Generated Mocks
di: Tiwari, Deepika, et al.
Pubblicazione: (2022)

Causes and Canonicalization of Unreproducible Builds in Java
di: Sharma, Aman, et al.
Pubblicazione: (2025)

Do Automated Fixes Truly Mitigate Smart Contract Exploits?
di: Bobadilla, Sofia, et al.
Pubblicazione: (2025)

GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions
di: Saavedra, Nuno, et al.
Pubblicazione: (2023)

RepairBench: Leaderboard of Frontier Models for Program Repair
di: Silva, André, et al.
Pubblicazione: (2024)

Verifiable Provenance of Software Artifacts with Zero-Knowledge Compilation
di: Ron, Javier, et al.
Pubblicazione: (2026)

ITER: Iterative Neural Repair for Multi-Location Patches
di: Ye, He, et al.
Pubblicazione: (2023)

TestWeaver: Execution-aware, Feedback-driven Regression Testing Generation with Large Language Models
di: Le, Cuong Chi, et al.
Pubblicazione: (2025)

Hyperparameter Optimization for AST Differencing
di: Martinez, Matias, et al.
Pubblicazione: (2020)

FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security
di: Eshghie, Mojtaba, et al.
Pubblicazione: (2025)

Serializing Java Objects in Plain Code
di: Wachter, Julian, et al.
Pubblicazione: (2024)

The Design Space of Lockfiles Across Package Managers
di: Gamage, Yogya, et al.
Pubblicazione: (2025)

With Great Humor Comes Great Developer Engagement
di: Tiwari, Deepika, et al.
Pubblicazione: (2023)

Practical, Automated Scenario-based Mobile App Testing
di: Yu, Shengcheng, et al.
Pubblicazione: (2024)

Software Bills of Materials in Maven Central
di: Gamage, Yogya, et al.
Pubblicazione: (2025)

WASM-MUTATE: Fast and Effective Binary Diversification for WebAssembly
di: Cabrera-Arteaga, Javier, et al.
Pubblicazione: (2023)

Proving and Rewarding Client Diversity to Strengthen Resilience of Blockchain Networks
di: Ron, Javier, et al.
Pubblicazione: (2024)

GoLeash: Mitigating Golang Software Supply Chain Attacks with Runtime Policy Enforcement
di: Cesarano, Carmine, et al.
Pubblicazione: (2025)

RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair
di: Silva, André, et al.
Pubblicazione: (2023)

On-Chain Analysis of Smart Contract Dependency Risks on Ethereum
di: Jin, Monica, et al.
Pubblicazione: (2025)

Effective, Platform-Independent GUI Testing via Image Embedding and Reinforcement Learning
di: Yu, Shengcheng, et al.
Pubblicazione: (2022)

Heterogeneous Prompting and Execution Feedback for SWE Issue Test Generation and Selection
di: Ahmed, Toufique, et al.
Pubblicazione: (2025)

Compiling Code LLMs into Lightweight Executables
di: Shi, Jieke, et al.
Pubblicazione: (2026)

BUMP: A Benchmark of Reproducible Breaking Dependency Updates
di: Reyes, Frank, et al.
Pubblicazione: (2024)