Author

Michael Pradel

h-index 6 View on Semantic Scholar

We have 2 of 13 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#software testing Open access Oct 2026

IterTestQ: Assembly-Level, Cross-Platform Testing of Quantum Computing Platforms

Quantum computing platforms are susceptible to quantum-specific bugs, such as incorrectly ordering qubits or incorrectly implementing quantum abstractions. These bugs are difficult to detect and require specialized expertise. The field faces challenges due to a fragmented landscape of platforms and rapid development cy...

Matteo Paltenghi, Michael Pradel · Proceedings of the ACM on So... · 4 citations

Preprint Jul 2026

READU: Inconsistency-Driven Just-in-Time Detection and Repair of README Bugs

ReadU is an inconsistency-driven technique for just-in-time detection and repair of README bugs that applies a high-recall commit filter, runs internal and external consistency checkers in parallel, uses an alert judge to remove false positives, and automatically synthesizes documentation patches.

Doehyun Baek, Kilian Krampf, Michael Pradel · 0 citations