Imagen de Portada

Demonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Moloney, Charles, Dyer, Robert, Sherman, Elena
Formato:	Preprint
Publicado:	2026
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
por: Cui, Baoquan, et al.
Publicado: (2025)

muRelBench: MicroBenchmarks for Zonotope Domains
por: Ballou, Kenny, et al.
Publicado: (2024)

MMT: Mutation Testing of Java Bytecode with Model Transformation -- An Illustrative Demonstration
por: Bockisch, Christoph, et al.
Publicado: (2024)

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

pyMethods2Test: A Dataset of Python Tests Mapped to Focal Methods
por: Abdelmadjid, Idriss, et al.
Publicado: (2025)

DSCodeBench: A Realistic Benchmark for Data Science Code Generation
por: Ouyang, Shuyin, et al.
Publicado: (2025)

JMigBench: A Benchmark for Evaluating LLMs on Source Code Migration (Java 8 to Java 11)
por: Amin, Nishil, et al.
Publicado: (2026)

Generate Realistic Test Scenes for V2X Communication Systems
por: Guo, An, et al.
Publicado: (2025)

A Soundness and Precision Benchmark for Java Debloating Tools
por: Klauke, Jonas, et al.
Publicado: (2025)

HumanEvo: An Evolution-aware Benchmark for More Realistic Evaluation of Repository-level Code Generation
por: Zheng, Dewu, et al.
Publicado: (2024)

Reproduction Test Generation for Java SWE Issues
por: Ahmed, Toufique, et al.
Publicado: (2026)

Do Developers Read Type Information? An Eye-Tracking Study on TypeScript
por: Flint, Samuel W., et al.
Publicado: (2026)

Boidae: Your Personal Mining Platform
por: Sigurdson, Brian, et al.
Publicado: (2024)

ScarfBench: A Benchmark for Cross-Framework Application Migration in Enterprise Java
por: Pavuluri, Advait, et al.
Publicado: (2026)

MigrationBench: Repository-Level Code Migration Benchmark from Java 8
por: Liu, Linbo, et al.
Publicado: (2025)

MapReplay: Trace-Driven Benchmark Generation for Java HashMap
por: Schiavio, Filippo, et al.
Publicado: (2026)

JavaVFC: Java Vulnerability Fixing Commits from Open-source Software
por: Bui, Tan, et al.
Publicado: (2024)

Data-Driven Evidence-Based Syntactic Sugar Design
por: OBrien, David, et al.
Publicado: (2024)

SBFT Tool Competition 2025 -- Java Test Case Generation Track
por: Kifetew, Fitsum, et al.
Publicado: (2025)

Generating Accurate OpenAPI Descriptions from Java Source Code
por: Lercher, Alexander, et al.
Publicado: (2024)

Multi-agent Assisted Automatic Test Generation for Java JSON Libraries
por: Wang, Sinan, et al.
Publicado: (2024)

Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants
por: Corso, Vincenzo, et al.
Publicado: (2024)

How Do Developers Use Type Inference: An Exploratory Study in Kotlin
por: Flint, Samuel W., et al.
Publicado: (2024)

LLM-based Generation of Semantically Diverse and Realistic Domain Model Instances
por: Coman, Andrei, et al.
Publicado: (2026)

Java JIT Testing with Template Extraction
por: Zang, Zhiqiang, et al.
Publicado: (2024)

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

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

The Impact of Mutability on Cyclomatic Complexity in Java
por: Bagaev, Marat, et al.
Publicado: (2024)

An Exploratory Eye Tracking Study on How Developers Classify and Debug Python Code in Different Paradigms
por: Flint, Samuel W., et al.
Publicado: (2025)

FreshBrew: A Benchmark for Evaluating AI Agents on Java Code Migration
por: May, Victor, et al.
Publicado: (2025)

Detection of Technical Debt in Java Source Code
por: Hai, Nam Le, et al.
Publicado: (2024)

Energy and Time Complexity for Sorting Algorithms in Java
por: Carter, Kristina, et al.
Publicado: (2023)

Concolic Testing of JavaScript using Sparkplug
por: Li, Zhe, et al.
Publicado: (2024)

Acknowledging Good Java Code with Code Perfumes
por: Straubinger, Philipp, et al.
Publicado: (2024)

Demystifying and Assessing Code Understandability in Java Decompilation
por: Qin, Ruixin, et al.
Publicado: (2024)

Terminal-Bench: Benchmarking Agents on Hard, Realistic Tasks in Command Line Interfaces
por: Merrill, Mike A., et al.
Publicado: (2026)

Do Comments and Expertise Still Matter? An Experiment on Programmers' Adoption of AI-Generated JavaScript Code
por: Li, Changwen, et al.
Publicado: (2025)

How do annotations affect Java code readability?
por: Guerra, Eduardo, et al.
Publicado: (2024)

Cross-Language Dependencies: An Empirical Study of Kotlin-Java
por: Feng, Qiong, et al.
Publicado: (2024)

WIA-SZZ: Work Item Aware SZZ
por: Perez-Rosero, Salomé, et al.
Publicado: (2024)