Peer-reviewed publications

A4 Conference proceedings
Exhaustive Simulation and Test Generation Using fUML Activity Diagrams (2019)
Iqbal Junaid, Ashraf Adnan, Truscan Dragos, Porres Ivan
Springer, Cham
View on publisher's site
A4 Conference proceedings
MATERA2-AlfTester: An Exhaustive Simulation and Test Generation Tool for fUML Models (2019)
Iqbal Junaid, Ashraf Adnan, Truscan Dragos, Porres Ivan.
IEEE
View on publisher's site
A2 Review article, Literature review, Systematic review
Model-based testing using UML activity diagrams: A systematic mapping study (2019)
Ahmad Tanwir, Iqbal Junaid, Ashraf Adnan,Truscan Dragos, Porres Ivan
Computer Science Review
View on publisher's site
A4 Conference proceedings
On the Benefits of Using Aspect-Orientation in UPPAAL Timed Automata (2017)
Jüri Vain, Dragos Truscan, Junaid Iqbal, Leonidas Tsiopoulos
IEEE
A4 Conference proceedings
Reconstructing Timed Symbolic Traces from rtioco-Based Timed Test Sequences Using Backward-Induction (2017)
Junaid Iqbal, Dragos Truscan, Jüri Vain, Ivan Porres
ACM
View on publisher's site
A3 Book section, Chapters in research books
Testing Web Services with Model-Based Mutation (2017)
Siavashi Faezeh, Iqbal Junaid, Truscan Dragos, Juri Vain
Springer
View on publisher's site
A3 Book section, Chapters in research books
A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata (2015)
Dragos Truscan, Jüri Vain, Martin Koskinen, Junaid Iqbal
Springer
View on publisher's site
A4 Conference proceedings
RuRot: Run-Time Rotatable-Expandable Partitions for Efficient Mapping in CGRAs (2014)
Jafri SMAH, Serrano G, Iqbal J, Daneshtalab M, Hemani A, Paul K, Plosila J, Tenhunen H
IEEE
View on publisher's site


Other publications

D4 Published development or research report or study
The Crisis Management System – A Case Study in Aspect-Oriented Modeling Using UPPAAL. (2016)
Iqbal Junaid, Tsiopoulos Leonidas, Truscan Dragos, Vain Jüri, Porres Ivan
D4 Published development or research report or study
TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces (2015)
Iqbal J, Truscan D, Vain J, Porres I

Last updated on 2019-27-06 at 22:13