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

Combining aspect-orientation and UPPAAL timed automataTruscan, Dragos; Vain, Jüri; Koskinen, MartinICSOFT-PT 2014 : proceedings of the 9th International Conference on Software Paradigm Trends, Vienna, Austria, 29-31 August, 20142014 / p. 159-164 : ill

Early detection of network attacks using deep learningAhmad, Tanwir; Truscan, Dragos; Vain, Jüri; Porres, Ivan2022 IEEE 15th International Conference on Software Testing, Verification andValidation Workshops : ICSTW 2022, 4–13 April 2022, Virtual Event : proceedings2022 / p. 30-39 https://doi.org/10.1109/ICSTW55395.2022.00020 https://arxiv.org/pdf/2201.11628.pdf

On mutating UPPAAL timed automata to assess robustness of web servicesSiavashi, Faezeh; Truscan, Dragos; Vain, JüriProceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016). Vol. 1, ICSOFT-EA2016 / p. 15-26 : ill http://dx.doi.org/10.5220/0005970800150026

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

A two-phase metamorphic approach for testing industrial control systemsSudheerbabu, Gaadha; Ahmad, Tanwir; Sebek, Filip; Truscan, Dragos; Vain, Jüri; Porres, Ivan2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA) : proceedings2022 / 4 p https://doi.org/10.1109/ETFA52439.2022.9921439

Vulnerability assessment of web services with model-based mutation testingSiavashi, Faezeh; Truscan, Dragos; Vain, Jüri2018 IEEE 18th International Conference on Software Quality, Reliability, and Security - QRS 2018 - : 16–20 July 2018, Lisbon, Portugal : proceedings2018 / p. 301–312 : ill http://doi.org/10.1109/QRS.2018.00043