6 papers
READU: Inconsistency-Driven Just-in-Time Detection and Repair of README Bugs
Doehyun Baek, Kilian Krampf, Michael Pradel
Repository-level documentation, such as READMEs, is often the first point of contact between users and a repository. When this documentation is incorrect, users may encounter runti…
FlyCatcher: Neural Inference of Runtime Checkers from Tests
Beatriz Souza, Chang Lou, Suman Nath +1
Complex software systems often suffer from silent failures, i.e., violations of the intended semantics that do not cause explicit errors. A promising approach to detect such errors…
Automated Table Reproduction via Code Generation
Doehyun Baek, Michael Pradel
Reproducibility is an important goal in computer science research, e.g., for artifact evaluation and to build upon experimental results of prior work. Recently, LLM agents are bein…
Change And Cover: Last-Mile, Pull Request-Based Regression Test Augmentation
Zitong Zhou, Matteo Paltenghi, Miryung Kim +1
Software is in constant evolution, with developers frequently submitting pull requests (PRs) to introduce new features or fix bugs. Testing PRs is critical to maintaining software…
Execution-Aware Program Reduction for WebAssembly via Record and Replay
Doehyun Baek, Daniel Lehmann, Ben L. Titzer +2
WebAssembly (Wasm) programs may trigger bugs in their engine implementations. To aid debugging, program reduction techniques try to produce a smaller variant of the input program t…
QITE: Assembly-Level, Cross-Platform Testing of Quantum Computing Platforms
Matteo Paltenghi, Michael Pradel
Quantum computing platforms are susceptible to quantum-specific bugs (e.g., incorrect ordering of qubits or incorrect implementation of quantum abstractions), which are difficult t…