Junaid Iqbal
Title
Cited by
Cited by
Year
Model-based testing using UML activity diagrams: A systematic mapping study
T Ahmed, J Iqbal, A Ashraf, D Truscan, I and Porres
Computer Science Review 33, 98-112, 2019
62019
On the benefits of using aspect-orientation in UPPAAL timed automata
J Vain, D Truscan, J Iqbal, L Tsiopoulos
2017 International Conference on Infocom Technologies and Unmanned Systems …, 2017
32017
Testing Web Services with Model-Based Mutation
F Siavashi, J Iqbal, D Truscan, J Vain
International Conference on Software Technologies, 45-67, 2016
32016
Exhaustive Simulation and Test Generation Using fUML Activity Diagrams
J Iqbal, A Ashraf, D Truscan, I and Porres
CAiSE 2019, LNCS 11483, 1-15, 2019
22019
TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces
J Iqbal, D Truscan, J Vain, Porres, Ivan
Technical report 1138, Turku Centre for Computer Science, 2015
22015
A Tool-supported Approach for Introducing Aspects in UPPAAL Timed Automata
D Truscan, J Vain, M Koskinen, J Iqbal
International Conference on Software Technologies, 349-364, 2014
22014
RuRot: run-time rotatable-expandable partitions for efficient mapping in CGRAs
SMAH Jafri, G Serrano, J Iqbal, M Daneshtalab, A Hemani, K Paul, ...
2014 International Conference on Embedded Computer Systems: Architectures …, 2014
22014
Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward-induction
J Iqbal, D Truscan, J Vain, I Porres
Proceedings of the Fifth European Conference on the Engineering of Computer …, 2017
12017
MATERA2-AlfTester: An Exhaustive Simulation and Test Generation Tool for fUML Models
J Iqbal, A Ashraf, D Truscan, I Porres
2019 45th Euromicro Conference on Software Engineering and Advanced …, 2019
2019
The Crisis Management System – A Case Study in Aspect-Oriented Modeling Using UPPAAL
IP Junaid Iqbal, Leonidas Tsiopoulos, Dragos Truscan, Jüri Vain
TUCS Technical Reports, 2016
2016
Aspect-Oriented Modelling in UPPAAL for Compositional Verification and Testing
D Truscan, J Vain, J Iqbal, L Tsiopoulos, I Porres
Tron2Uppaal Back Tracer Tool
J Iqbal, D Truscan, J Vain, I Porres
The system can't perform the operation now. Try again later.
Articles 1–12