Mining Patterns of Unsatisfiable Constraints to Detect Infeasible Paths.

Sun Ding, Hee Beng Kuan Tan, Lwin Khin Shar

Browse the full ICSE paper archive.