Login / Signup
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