23 citations · 41 across the 10 of their papers we have counts for
8 papers · 1 filter
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…
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…
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…