Thresher: precise refutations for heap reachability.

Sam Blackshear Bor-Yuh Evan Chang Manu Sridharan

Published in: PLDI (2013)

Keyphrases

data structure
data mining
state space
machine learning
evolutionary algorithm
theorem prover
genetic algorithm
lower bound
probability distribution
multi dimensional
distance measure