Compositionality in Model-Based Testing.

Gijs van Cuyck Lars van Arragon Jan Tretmans

Published in: ICTSS (2023)

Keyphrases

model based testing
test cases
software development
software design
testing process
sequence diagrams
software testing
security policies
test data
databases
regression testing
neural network
software systems
test generation
petri net
life cycle
test set
relational databases
feature space
case study