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

Seemanta Saha Mara Downing Tegan Brennan Tevfik Bultan

Published in: ICSE (2022)

Keyphrases

probabilistic model
simulated annealing
uncertain data
learning algorithm
search algorithm
data driven
generative model
tabu search
real time
bayesian networks
dynamic programming
information theoretic
posterior probability
probabilistic logic
exact and approximate
greedy heuristic