An Explanation-Based Constraint Debugger - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Aaron Rich, Giora Alexandron, Reuven Naveh. An Explanation-Based Constraint Debugger. In Kedar S. Namjoshi, Andreas Zeller, Avi Ziv, editors, Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers. Volume 6405 of Lecture Notes in Computer Science, pages 52-56, Springer, 2009. [doi]

This author has not been identified. Look up 'Aaron Rich' in GoogleThis author has not been identified. Look up 'Giora Alexandron' in GoogleThis author has not been identified. Look up 'Reuven Naveh' in Google

runs on WebDSL