Junaid Iqbal, Dragos Truscan, Jüri Vain. Time semantics of executable activity diagrams for relativized conformance testing. In Esther Guerra, Ludovico Iovino, editors, MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, Companion Proceedings. ACM, 2020. [doi]
Abstract is missing.