Sandra Fruhmann

According to our database, Sandra Fruhmann authored at least 1 paper in 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets.

Simon Ausserlechner, Sandra Fruhmann, Wolfgang Wieser, Birgit Hofer, Raphael Spork, Clemens Mühlbacher, Franz Wotawa

Proceedings of the 2013 13th International Conference on Quality Software, 2013