A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams.

Aissam Belghiat Allaoua Chaoui

Published in: ICSOFT-PT (2015)

Keyphrases

sequence diagrams
class diagrams
uml models
petri net
activity diagrams
regression testing
intermediate representation
unified modelling language
test cases
class diagram
model based testing
model checking
database
test sequences
formal specification
uml class diagrams
relational databases