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

Petra Kaufmann Martin Kronegger Andreas Pfandler Martina Seidl Magdalena Widl

Published in: SLE (2014)

Keyphrases

sequence diagrams
state machines
petri net
uml models
intermediate representation
class diagram
class diagrams
test cases
dependency graph
regression testing
artificial neural networks
image understanding
software testing
state machine
neural network