Login / Signup
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