Sign in

Mining Patterns of Unsatisfiable Constraints to Detect Infeasible Paths.

Sun DingHee Beng Kuan TanLwin Khin Shar
Published in: AST@ICSE (2015)
Keyphrases
  • mining patterns
  • constraint satisfaction
  • phase transition
  • data mining
  • learning algorithm
  • search space
  • incremental mining
  • logic programs