:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Etemadi, Khashayar, Mohammadi, Bardia, Su, Zhendong, Monperrus, Martin
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2406.10375
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

Bootstrapping Coding Agents: The Specification Is the Program
by: Monperrus, Martin
Published: (2026)

Software Supply Chain Security of Web3
by: Monperrus, Martin
Published: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

Hyperparameter Optimization for AST Differencing
by: Martinez, Matias, et al.
Published: (2020)

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

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

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

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

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

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

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

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

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

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

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

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

SBOM.EXE: Countering Dynamic Code Injection based on Software Bill of Materials in Java
by: Sharma, Aman, et al.
Published: (2024)

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

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

Finding Performance Issues in Database Systems by Exploiting Dormant Code Paths
by: Ba, Jinsheng, et al.
Published: (2026)