Visualization and Abstractions for Execution Paths in Model-Based Software Testing.

Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz

Browse the full IFM paper archive.