23 citations · 41 across the 10 of their papers we have counts for
10 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…
A Survey on Testing and Analysis of Quantum Software
Matteo Paltenghi, Michael Pradel
Quantum computing is getting increasing interest from both academia and industry, and the quantum software landscape has been growing rapidly. The quantum software stack comprises…
Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Doehyun Baek, Jakob Getz, Yusung Sim +4
WebAssembly (Wasm for short) brings a new, powerful capability to the web as well as Edge, IoT, and embedded systems. Wasm is a portable, compact binary code format with high perfo…
PyTy: Repairing Static Type Errors in Python
Yiu Wai Chow, Luca Di Grazia, Michael Pradel
Gradual typing enables developers to annotate types of their own choosing, offering a flexible middle ground between no type annotations and a fully statically typed language. As m…
Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit
Matteo Paltenghi, Michael Pradel
As quantum computing is rising in popularity, the amount of quantum programs and the number of developers writing them are increasing rapidly. Unfortunately, writing correct quantu…