Temporal property patterns for model-based testing from UML/OCL.

Frédéric Dadeau Elizabeta Fourneret Abir Bouchelaghem

Published in: Softw. Syst. Model. (2019)

Keyphrases

software design
model based testing
uml diagrams
design patterns
software engineering
software development
temporal patterns
uml class diagrams
temporal information
metamodel
test cases
data mining techniques
sequence diagrams
temporal reasoning
data sets
database
software projects
tool support
case study
data mining