The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Simon Ausserlechner, Sandra Fruhmann, Wolfgang Wieser, Birgit Hofer, Raphael Spork, Clemens Muhlbacher, Franz Wotawa. The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets. In 2013 13th International Conference on Quality Software, Najing, China, July 29-30, 2013. pages 139-148, IEEE, 2013. [doi]

This author has not been identified. Look up 'Simon Ausserlechner' in GoogleThis author has not been identified. Look up 'Sandra Fruhmann' in GoogleThis author has not been identified. Look up 'Wolfgang Wieser' in GoogleThis author has not been identified. Look up 'Birgit Hofer' in GoogleThis author has not been identified. Look up 'Raphael Spork' in GoogleThis author has not been identified. Look up 'Clemens Muhlbacher' in GoogleThis author has not been identified. Look up 'Franz Wotawa' in Google

runs on WebDSL