PREACH: A Heuristic for Probabilistic Reachability to Identify Hard to Reach Statements

Open Webpage

Seemanta Saha, Mara Downing, Tegan Brennan, Tevfik Bultan

Published: 2022, Last Modified: 15 May 2025ICSE 2022EveryoneRevisionsBibTeXCC BY-SA 4.0