A tool-supported approach for introducing aspects in UPPAAL timed automataTruscan, Dragos; Vain, Jüri; Koskinen, Martin; Iqbal, JunaidSoftware technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers2015 / p. 349-364 http://dx.doi.org/10.1007/978-3-319-25579-8_20

Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward inductionIqbal, Junaid; Truscan, Dragos; Vain, Jüri; Porres, IvanProceedings of the Fifth European Conference on the Engineering of Computer-Based Systems2017 / 10 pages : ill http://www.scopus.com/inward/record.uri?eid=2-s2.0-85030308212&doi=10.1145%2f3123779.3123813&partnerID=40&md5=f8e67104732f8b81c63e00a4dbaf645e

Testing web services with model-based mutationSiavashi, Faezeh; Iqbal, Junaid; Truscan, Dragos; Vain, JüriSoftware Technologies : 11th International Joint Conference, ICSOFT 2016 : Lisbon, Portugal, July 24–26, 2016 : revised selected papers2017 / p. 45-67 http://doi.org/10.1007/978-3-319-62569-0_3

The Crisis Management System - a case study on aspect-oriented modelling with UPPAALIqbal, Junaid; Truscan, Dragos; Porres, Ivan; Tsiopoulos, Leonidas; Vain, Jüri2016 http://tucs.fi/publications/view/?pub_id=tIqTsTrVaPo16a

Time semantics of executable activity diagrams for relativized conformance testingIqbal, Junaid; Truscan, Dragos; Vain, JüriMODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings2020 / p. 251-256 https://doi.org/10.1145/3417990.3421399