Emil J. Njor, Florian Lorber, Nikolaj I. Schmidt, Sebastian R. Petersen. Conformance Testing in UPPAAL: A diabolic approach. In 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 24-28, 2020. pages 35-42, IEEE, 2020. [doi]
Abstract is missing.