Combining Model-Based Testing and Automated Analysis of Behavioural Models using GraphWalker and UPPAAL.

Saurabh Tiwari Kumar Iyer Eduard Paul Enoiu

Published in: APSEC (2022)

Keyphrases

automated analysis
visual analysis
learning algorithm
artificial intelligence
data model
query language
open source
life cycle