C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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