ACM SIGPLAN International Conference on Software Language Engineering, SLE 2014


Article Details
Title: A SAT-Based Debugging Tool for State Machines and Sequence Diagrams
Article URLs:
Alternative Article URLs:
Authors: Petra Kaufmann
  • TU Wien, Business Informatics Group
Martin Kronegger
  • TU Wien, Database and Artificial Intelligence Group
Andreas Pfandler
  • TU Wien, Database and Artificial Intelligence Group
Martina Seidl
  • TU Wien, Business Informatics Group
  • JKU Linz, Institute for Formal Models and Verification
Magdalena Widl
  • TU Wien, Knowledge-Based Systems Group
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/sle/KaufmannKPSW14
Author Comments:

Discuss this paper and its artifacts below