Referentgranskade publikationer

A4 Konferenspublikationer
Exhaustive Simulation and Test Generation Using fUML Activity Diagrams (2019)
Iqbal Junaid, Ashraf Adnan, Truscan Dragos, Porres Ivan
Springer, Cham
Visa på utgivarens sida
A4 Konferenspublikationer
MATERA2-AlfTester: An Exhaustive Simulation and Test Generation Tool for fUML Models (2019)
Iqbal Junaid, Ashraf Adnan, Truscan Dragos, Porres Ivan.
IEEE
Visa på utgivarens sida
A2 Granskningsartikel, litteraturgranskning, systematisk granskning
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
Visa på utgivarens sida
A4 Konferenspublikationer
On the Benefits of Using Aspect-Orientation in UPPAAL Timed Automata (2017)
Jüri Vain, Dragos Truscan, Junaid Iqbal, Leonidas Tsiopoulos
IEEE
A4 Konferenspublikationer
Reconstructing Timed Symbolic Traces from rtioco-Based Timed Test Sequences Using Backward-Induction (2017)
Junaid Iqbal, Dragos Truscan, Jüri Vain, Ivan Porres
ACM
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
Testing Web Services with Model-Based Mutation (2017)
Siavashi Faezeh, Iqbal Junaid, Truscan Dragos, Juri Vain
Springer
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata (2015)
Dragos Truscan, Jüri Vain, Martin Koskinen, Junaid Iqbal
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
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
Visa på utgivarens sida


Övriga publikationer

D4 Publicerad utvecklings- eller forskningsrapport eller studie
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 Publicerad utvecklings- eller forskningsrapport eller studie
TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces (2015)
Iqbal J, Truscan D, Vain J, Porres I

Senast uppdaterad 2019-27-06 vid 22:13