Cover Image

The Case for Multi-Version Experimental Evaluation (MVEE)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jörz, Simon, Schuhknecht, Felix
Format:	Preprint
Published:	2026
Subjects:	Databases Programming Languages Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

CobbleDB: Modelling Levelled Storage by Composition
by: Ma, Emilie, et al.
Published: (2026)

CUBES: A Parallel Synthesizer for SQL Using Examples
by: Brancas, Ricardo, et al.
Published: (2022)

Constant Optimization Driven Database System Testing
by: Zhang, Chi, et al.
Published: (2025)

Synthesizing Document Database Queries using Collection Abstractions
by: Liu, Qikang, et al.
Published: (2024)

Automated Discovery of Test Oracles for Database Management Systems Using LLMs
by: Mang, Qiuyang, et al.
Published: (2025)

Object Graph Programming
by: Thimmaiah, Aditya, et al.
Published: (2024)

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
by: Deng, Wenjing, et al.
Published: (2024)

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
by: Zhao, Pinhan, et al.
Published: (2025)

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
by: Bucev, Mario, et al.
Published: (2024)

Comparative analysis of large data processing in Apache Spark using Java, Python and Scala
by: Borodii, Ivan, et al.
Published: (2025)

Divergent Multi-Version Execution (DME): Canonical Instruction-Trace Fault Detection via Structural Address-Space Decorrelation
by: Yrievich, Petro Baran
Published: (2026)

Local Software Buildability across Java Versions (Registered Report)
by: Sulír, Matúš, et al.
Published: (2024)

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
by: Schwarz, Michael, et al.
Published: (2025)

Software Model Checking via Summary-Guided Search (Extended Version)
by: Fang, Ruijie, et al.
Published: (2025)

Contextualized Data-Wrangling Code Generation in Computational Notebooks
by: Huang, Junjie, et al.
Published: (2024)

Task-Aware Reduction for Scalable LLM-Database Systems
by: Barnes, Marcus Emmanuel, et al.
Published: (2025)

MIO: Multiverse Debugging in the Face of Input/Output -- Extended Version with Additional Appendices
by: Lauwaerts, Tom, et al.
Published: (2025)

Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version)
by: Wei, Hengfeng, et al.
Published: (2025)

GitChameleon 2.0: Evaluating AI Code Generation Against Python Library Version Incompatibilities
by: Misra, Diganta, et al.
Published: (2025)

Certus: A domain specific language for confidence assessment in assurance cases
by: Diemert, Simon, et al.
Published: (2025)

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
by: Carreira, Carolina, et al.
Published: (2025)

Etna: An Evaluation Platform for Property-Based Testing
by: Keles, Alperen, et al.
Published: (2026)

JEDI: Java Evaluation of Declarative and Imperative Queries
by: Schiavio, Filippo, et al.
Published: (2026)

Evaluating the Language-Based Security for Plugin Development
by: Liang, Naisheng, et al.
Published: (2024)

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
by: Cai, Jianfeng, et al.
Published: (2026)

Multi-Pass Targeted Dynamic Symbolic Execution
by: Yavuz, Tuba
Published: (2024)

Zero-shot Evaluation of Deep Learning for Java Code Clone Detection
by: Heinze, Thomas S.
Published: (2026)

Evaluate the Stack Management in Effect Handlers using the libseff C Library
by: Yu, ZeHao
Published: (2025)

An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
by: Arfi, Farid, et al.
Published: (2024)

MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
by: Ates, Berke, et al.
Published: (2026)

AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design
by: Qiu, Ruidi, et al.
Published: (2024)

Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction
by: Sulzmann, Martin
Published: (2025)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
by: Sim, HoHyun, et al.
Published: (2025)

MileStone: A Multi-Objective Compiler Phase Ordering Framework for Graph-based IR-Level Optimization
by: Sadr, Amirhosein, et al.
Published: (2026)

Evaluating the Performance of Large Language Models in Competitive Programming: A Multi-Year, Multi-Grade Analysis
by: Dumitran, Adrian Marius, et al.
Published: (2024)

LogDB: Multivariate Log-based Failure Diagnosis for Distributed Databases (Extended from MultiLog)
by: Zhang, Lingzhe, et al.
Published: (2025)

RISE: Rule-Driven SQL Dialect Translation via Query Reduction
by: Xie, Xudong, et al.
Published: (2026)

Vibe Coding on Trial: Operating Characteristics of Unanimous LLM Juries
by: Ullah, Muhammad Aziz, et al.
Published: (2026)

Towards Automated Data Sciences with Natural Language and SageCopilot: Practices and Lessons Learned
by: Liao, Yuan, et al.
Published: (2024)

Dialect2SQL: A Novel Text-to-SQL Dataset for Arabic Dialects with a Focus on Moroccan Darija
by: Chafik, Salmane, et al.
Published: (2025)