ORBilu: Request Item

If you're member of the institution, you just have to login to download the file in restricted access. It is not necessary to request a print.

Request copy

Mining Patterns of Unsatisfiable Constraints to Detect Infeasible Paths

DING, SUN; TAN, HEE BENG KUAN; Shar, Lwin Khin

2015 • In Automation of Software Test (AST 2015)

Document(s) requested

AST-(camera-ready) Mining Patterns of Unsatisfiable Constraints to Detect Infeasible Paths.pdf

The desired document is not currently available on open access. Nevertheless you can request an offprint through the form below. If your request is accepted you will receive by e-mail a link allowing you access to the document for 5 days, 5 download attempts maximum.

Request form

Fields marked with ✱ are compulsory.

Your last name

Your first name

Your e-mail

Your affiliation

Document(s) requested

AST-(camera-ready) Mining Patterns of Unsatisfiable Constraints to Detect Infeasible Paths.pdf

Reason of the demand

Back to the reference

Request copy

Request form

The request item has been sent.

The system has experienced an internal error. Please try to do what you were doing again, and if the problem persists, please contact us so we can fix the problem.

Actions or data sent do not correspond to human behavior. Please try again.

Your request item can not succeed. No author can be contacted to handle your request.