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

Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl

Browse the full SLE paper archive.