sle2014/paper02

SLE 2014 paper:
A SAT-Based Debugging Tool for State Machines and Sequence Diagrams

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

• DOI: 10.1007/978-3-319-11245-9_2
• Original shorter version of Intra- and interdiagram consistency checking of behavioral multiview models (SLE 2014 SI)
• T5D: Formal Methods
  • It encodes consistency/debugging of behavioral models as a SAT problem to find witnesses/counterexamples.
• T4A: Workbenches
  • The contribution includes an implemented debugging tool integrated with EMF-based modeling.
• T1C: Behavioural Semantics
  • It reasons about the executable behavior of state machines and their interaction scenarios.
• T5C: Testing
  • It employs grammar-based whitebox fuzzing as part of the evaluation/testing of the approach.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.