C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Time semantics of executable activity diagrams for relativized conformance testing.
Junaid Iqbal
Dragos Truscan
Jüri Vain
Published in:
MoDELS (Companion) (2020)
Keyphrases
</>
activity diagrams
operational semantics
conceptual database design
formal semantics
sequence diagrams
test cases
class diagrams
conceptual model
test set
test generation
uml class diagrams
databases
database systems
requirements engineering
regression testing