Not registered as user yet

Name:Mara Downing
Affiliation:University of California, Santa Barbara

Contributions

ICSE 2022 Author of PReach: A Heuristic for Probabilistic Reachability to Identify Hard to Reach Statements within the Technical Track-track