Mining Patterns of Unsatisfiable Constraints to Detect Infeasible Paths

2015 IEEE/ACM 10th International Workshop on Automation of Software Test ◽

10.1109/ast.2015.21 ◽

2015 ◽

Author(s):

Sun Ding ◽

Hee Beng Kuan Tan ◽

Lwin Khin Shar

Download Full-text