@inproceedings{TUW-233363, author = {Kaufmann, Petra and Kronegger, Martin and Pfandler, Andreas and Seidl, Martina and Widl, Magdalena}, title = {A SAT-Based Debugging Tool for State Machines and Sequence Diagrams}, booktitle = {Proceedings of the 7th International Conference on Software Language Engineering (SLE)}, year = {2014}, pages = {21--40}, url = {http://link.springer.com/chapter/10.1007%2F978-3-319-11245-9_2}, note = {Vortrag: 7th International Conference on Software Language Engineering (SLE), V{\"a}ster{\aa}s, Sweden; 2014-09-15 -- 2014-09-16} }