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