Browsing by Author "Iyer, Kumar Lakshmanan"
Now showing items 1-1 of 1
-
Combining Model Based Testing and Automated Analysis of Behavioural Models using GraphWalker and UPPAAL
Iyer, Kumar Lakshmanan (2021)Software testing is continuously evolving and Model-based testing (MBT) is one such test automation strategy. MBT involves the generation of tests by executing a model created by studying the requirements of the System ...