Projekt per år
Fingeravtryck
- 1 Liknande profiler
Projekt
- 2 Slutfört
-
MegaM@Rt2: MegaModelling at Runtime
Truscan, D. (Ansvarig forskare), Ahmad, T. (CoI), Iqbal, J. (CoI), Porres Paltor, I. (CoI), Siavashi, F. (CoI) & Ashraf, A. (CoI)
01/04/17 → 31/03/20
Projekt: EU
-
PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies
Truscan, D. (Ansvarig forskare), Ahmad, T. (CoI), Iqbal, J. (Ansvarig forskare), Porres Paltor, I. (CoPI) & Siavashi, F. (CoI)
01/01/12 → 31/12/15
Projekt: Företag/Business Finland
-
Time semantics of executable activity diagrams for relativized conformance testing
Iqbal, J., Truscan, D. & Vain, J., okt. 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, s. 251-256 6 s. 42Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil77 Nedladdningar (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. (red.). Springer, Cham, s. 96–110Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Fil6 Citeringar (Scopus)54 Nedladdningar (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. (red.). IEEE, s. 466–470Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil72 Nedladdningar (Pure) -
Model-based testing using UML activity diagrams: A systematic mapping study
Ahmad, T., Iqbal, J., Ashraf, A., Truscan, D. & Porres Paltor, I., 2019, I: Computer Science Review. Volume 33, s. 98–112Forskningsoutput: Tidskriftsbidrag › Översiktsartikel › Peer review
Fil53 Citeringar (Scopus)1257 Nedladdningar (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. (red.). IEEE, s. 84–91Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review