An ensemble classifier that predicts bug probability from input parameters substantially outperforms random sampling and other search heuristics for triggering rare concurrency bugs in a synthetic benchmark.
A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.SE 1years
2025 1verdicts
REJECT 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Black-Box Bug-Amplification for Multithreaded Software
An ensemble classifier that predicts bug probability from input parameters substantially outperforms random sampling and other search heuristics for triggering rare concurrency bugs in a synthetic benchmark.