Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl. A SAT-Based Debugging Tool for State Machines and Sequence Diagrams. In Benoît Combemale, David J. Pearce, Olivier Barais, Jurgen J. Vinju, editors, Software Language Engineering - 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings. Volume 8706 of Lecture Notes in Computer Science, pages 21-40, Springer, 2014. [doi]
Abstract is missing.