Concurrent behavioral coverage criteria for sequence diagrams.

Mahesh Shirole Rajeev Kumar

Published in: Innov. Syst. Softw. Eng. (2023)

Keyphrases

sequence diagrams
petri net
uml models
intermediate representation
class diagrams
activity diagrams
model based testing
test cases
regression testing
class diagram
database
database systems
description logics
test suite
dependency graph