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 Iterative optimization of hyperparameter-based metamorphic transformationsSudheerbabu, Gaadha; Ahmad, Tanwir; Truscan, Dragos; Vain, Jüri; Porres, Ivan2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)2024 / p. 13-20 https://doi.org/10.1109/ICSTW60967.2024.00016 Article at Scopus Article at WOS 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 https://doi.org/10.1145/3123779.3123813 Conference proceedings at Scopus Article at Scopus Article at WOS 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 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