Refinement Verification of Sequence Diagrams Using CSP.

Lucas Lima Juliano Iyoda Augusto Sampaio

Published in: SBMF (2016)

Keyphrases

sequence diagrams
constraint satisfaction problems
petri net
uml models
class diagrams
intermediate representation
model checking
activity diagrams
regression testing
arc consistency
constraint programming
image data
model based testing
data sets
class diagram
search space
video sequences