Cover Image

MIO: Multiverse Debugging in the Face of Input/Output -- Extended Version with Additional Appendices

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lauwaerts, Tom, Steevens, Maarten, Scholliers, Christophe
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Remote Concolic Multiverse Debugging -- Extended Version with Additional Appendices
by: Steevens, Maarten, et al.
Published: (2026)

ProDebug: An Automated Debugging System for Prolog
by: Brancas, Ricardo, et al.
Published: (2026)

WDD: Weighted Delta Debugging
by: Zhou, Xintong, 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)

Accurate Coverage Metrics for Compiler-Generated Debugging Information
by: Stinnett, J. Ryan, et al.
Published: (2024)

Grounding Data Science Code Generation with Input-Output Specifications
by: Wen, Yeming, et al.
Published: (2024)

Metamorphic Debugging for Accountable Software
by: Tizpaz-Niari, Saeid, et al.
Published: (2024)

Input-Gen: Guided Generation of Stateful Inputs for Testing, Tuning, and Training
by: Ivanov, Ivan R., et al.
Published: (2024)

debug-gym: A Text-Based Environment for Interactive Debugging
by: Yuan, Xingdi, et al.
Published: (2025)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
by: Feng, Rong, et al.
Published: (2025)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
by: Deng, Haotian, et al.
Published: (2025)

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

From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging
by: Shi, Yuling, et al.
Published: (2024)

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
by: Oliveira, Francisco, et al.
Published: (2025)

The Case for Multi-Version Experimental Evaluation (MVEE)
by: Jörz, Simon, et al.
Published: (2026)

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

ChatDBG: Augmenting Debugging with Large Language Models
by: Levin, Kyla H., et al.
Published: (2024)

Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM (Extended Version)
by: Li, Ao, et al.
Published: (2025)

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

Precise Debugging Benchmark: Is Your Model Debugging or Regenerating?
by: Zhu, Wang Bill, et al.
Published: (2026)

Debugging code world models
by: Rahmani, Babak
Published: (2026)

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

DebugBench: Evaluating Debugging Capability of Large Language Models
by: Tian, Runchu, et al.
Published: (2024)

Learning Code-Edit Embedding to Model Student Debugging Behavior
by: Heickal, Hasnain, et al.
Published: (2025)

Leveraging Print Debugging to Improve Code Generation in Large Language Models
by: Hu, Xueyu, et al.
Published: (2024)

Getting Python Types Right with RightTyper
by: Pizzorno, Juan Altmayer, et al.
Published: (2025)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
by: Liu, Peipei, et al.
Published: (2025)

An Encoding of Interaction Nets in OCaml
by: Huber, Nikolaus, et al.
Published: (2025)

C*: Unifying Programming and Verification in C
by: Cao, Yiyuan, et al.
Published: (2025)

LitmusKt: Concurrency Stress Testing for Kotlin
by: Lochmelis, Denis, et al.
Published: (2025)

Literate Tracing
by: Sotoudeh, Matthew
Published: (2025)

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
by: Zhu, Qian, et al.
Published: (2025)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
by: Baek, Doehyun, et al.
Published: (2025)

RacerF: Lightweight Static Data Race Detection for C Code
by: Dacík, Tomáš, et al.
Published: (2025)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
by: Gorna, Karolina, et al.
Published: (2025)

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

Reflections on the design, applications and implementations of the normative specification language eFLINT
by: van Binsbergen, L. Thomas, et al.
Published: (2025)

A Trace-based Approach for Code Safety Analysis
by: Xu, Hui
Published: (2025)

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