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

Saurabh Tiwari, Kumar Iyer, Eduard Paul Enoiu

Browse the full APSEC paper archive.