Junaid Iqbal

Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward-induction

Dragos Truscan, Ivan Porres, Jüri Vain, 2017, ECBS.

Exhaustive Simulation and Test Generation Using fUML Activity Diagrams

Dragos Truscan, Ivan Porres, Adnan Ashraf, 2019, CAiSE.

Model-based testing using UML activity diagrams: A systematic mapping study

Dragos Truscan, Tanwir Ahmad, Ivan Porres, 2019, Comput. Sci. Rev..

Time semantics of executable activity diagrams for relativized conformance testing

Dragos Truscan, Jüri Vain, Junaid Iqbal, 2020, MoDELS.

Aspect-Oriented Modelling in UPPAAL for Compositional Verification and Testing

Ivan Porres, D. Truscan, J. Vain, 2017 .