Conformance Testing in UPPAAL: A diabolic approach.

Emil J. Njor, Florian Lorber, Nikolaj I. Schmidt, Sebastian R. Petersen

Browse the full ICST paper archive.