Login / Signup
Mining Patterns of Unsatisfiable Constraints to Detect Infeasible Paths.
Sun Ding
Hee Beng Kuan Tan
Lwin Khin Shar
Published in:
AST@ICSE (2015)
Keyphrases
</>
mining patterns
constraint satisfaction
phase transition
data mining
learning algorithm
search space
incremental mining
logic programs