Projects per year
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Projects
- 2 Finished
-
MegaM@Rt2: MegaModelling at Runtime
Truscan, D. (Principal Investigator), Ahmad, T. (Co-Investigator), Iqbal, J. (Co-Investigator), Porres Paltor, I. (Co-Investigator), Siavashi, F. (Co-Investigator) & Ashraf, A. (Co-Investigator)
01/04/17 → 31/03/20
Project: EU
-
PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies
Truscan, D. (Principal Investigator), Ahmad, T. (Co-Investigator), Iqbal, J. (Principal Investigator), Porres Paltor, I. (Co-Principal Investigator) & Siavashi, F. (Co-Investigator)
01/01/12 → 31/12/15
Project: Industry/Business Finland
Publications
-
Time semantics of executable activity diagrams for relativized conformance testing
Iqbal, J., Truscan, D. & Vain, J., Oct 2020, MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. New York, NY, United States: ACM, p. 251-256 6 p. 42Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile68 Downloads (Pure) -
Exhaustive Simulation and Test Generation Using fUML Activity Diagrams
Iqbal, J., Ashraf, A., Truscan, D. & Porres Paltor, I., 2019, Advanced Information Systems Engineering. Paolo, G. & Barbara, W. (eds.). Springer, Cham, p. 96–110Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
File6 Citations (Scopus)46 Downloads (Pure) -
MATERA2-AlfTester: An Exhaustive Simulation and Test Generation Tool for fUML Models
Iqbal, J., Ashraf, A., Truscan, D. & Porres Paltor, I., 2019, 45th Euromicro Conference on Software Engineering and Advanced Applications. Staron, M., Capilla, R. & , A. S. (eds.). IEEE, p. 466–470Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile63 Downloads (Pure) -
Model-based testing using UML activity diagrams: A systematic mapping study
Ahmad, T., Iqbal, J., Ashraf, A., Truscan, D. & Porres Paltor, I., 2019, In: Computer Science Review. Volume 33, p. 98–112Research output: Contribution to journal › Review Article or Literature Review › peer-review
File45 Citations (Scopus)1134 Downloads (Pure) -
On the Benefits of Using Aspect-Orientation in UPPAAL Timed Automata
Vain, J., Truscan, D., Iqbal, J. & Tsiopoulos, L., 2017, 2017 International Conference on Infocom Technologies and Unmanned Systems (ICTUS). Khatri, Kumar, S., Kapur, R.K., Rana, Ajay, Singh, Sanjay & P.K. (eds.). IEEE, p. 84–91Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review