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

Seemanta Saha, Mara Downing, Tegan Brennan, Tevfik Bultan

Browse the full ICSE paper archive.