A SAT-Based Debugging Tool for State Machines and Sequence Diagrams

P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl,M. Widl:
"A SAT-Based Debugging Tool for State Machines and Sequence Diagrams";
Vortrag: 7th International Conference on Software Language Engineering (SLE), Västerås, Sweden; 15.09.2014 - 16.09.2014; in:"Proceedings of the 7th International Conference on Software Language Engineering (SLE)", (2014), S. 21 - 40.