MegaModelling at Runtime

2016

On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services

Siavashi, F., Truscan, D. & Vain, J., 2016, Proceedings of the 11th International Joint Conference on Software Technologies - (Volume 1). Maciaszek, Leszek, Cardoso, Jorge, Ludwig, André, Sinderen, van, M., Cabello & Enrique (red.). SCITEPRESS Science And Technology Publications, s. 15–26

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

2017

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–91

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Reconstructing Timed Symbolic Traces from rtioco-Based Timed Test Sequences Using Backward-Induction

Iqbal, J., Truscan, D., Vain, J. & Porres Paltor, I., 2017, Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems. ACM, s. –

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

1 Citeringar (Scopus)

The MegaM@Rt2 ECSEL Project – MegaModelling at Runtime – Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex Systems

Afzal, W., Bruneliere, H., Di Ruscio, D., Sadovykh, A., Mazzini, S., Cariou, E., Truscan, D., Cabot, J., Field, D., Pomante, L. & Smrz, P., 2017, Digital System Design (DSD), 2017 Euromicro Conference on. IEEE, s. 494–501

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång

Fil

6 Citeringar (Scopus)

18 Nedladdningar (Pure)

2018

Model-Based System Engineering in Practice: Document Generation - MegaM@Rt2 Project Experience

Sadovykh, A., Ashraf, A., Bagnato, A., Truscan, D., Pierini, P., Bruneliere, H., Avila-Carcia, O. & Afzal, W., 2018, Proceedings of the 14th Central and Eastern European Software Engineering Conference Russia, CEE-SECR '18. Fedorov, A. & Tsepkov, M. (red.). ACM, s. –

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Fil

21 Nedladdningar (Pure)

Vulnerability Assessment of Web Services with Model-Based Mutation Testing

Siavashi, F., Truscan, D. & Juri, V., 2018, Proceedings of 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS). NN (red.). IEEE, s. 301–312

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång

Fil

8 Citeringar (Scopus)

58 Nedladdningar (Pure)

2019

An Integrated Model-based Tool Chain for Managing Variability in Complex System Design

Bilic, D., Brosse, E., Sadovykh, A., Truscan, D., Bruneliere, H. & Ryssel, U., 2019, 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). Burgueño, L., Pretschner, A., Voss, S., Chaudron, M., Kienzle, J., Völter, M., Gérard, S., Zahedi, M., Bousse, E., Rensink, A., Polack, F., Engels, G. & Kappel, G. (red.). IEEE, s. –

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång

Fil

10 Citeringar (Scopus)

18 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–110

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Fil

6 Citeringar (Scopus)

39 Nedladdningar (Pure)

Exploratory Performance Testing Using Reinforcement Learning

Ahmad, T., Ashraf, A., Truscan, D. & Porres Paltor, I., 2019, IEEE 45th Euromicro Conference on Software Engineering and Advanced Applications. IEEE, s. 156–163

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Fil

11 Citeringar (Scopus)

67 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–470

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång

Fil

46 Nedladdningar (Pure)

MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges

Sadovykh, A., Truscan, D., Afzal, W., Bruneliere, H., Ashraf, A., Gómez, A., Espinosa, A., Widforss, G., Pierini, P., Fourneret, E. & Bagnato, A., 2019, Software Technology: Methods and Tools. Mazzara, M., Bruel, J., Meyer, B. & Petrenko, A. (red.). Springer, s. 393–405

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång

Fil

2 Citeringar (Scopus)

16 Nedladdningar (Pure)

On the Use of Hackathons to Enhance Collaboration in Large Collaborative Projects: A Preliminary Case Study of the MegaM@Rt2 EU Project

Sadovykh, A., Truscan, D., Pierini, P., Widforss, G., Ashraf, A., Bruneliere, H., Smrz, P., Bagnato, A., Afzal, W. & Espinosa Hortelano, A., 2019, Proceedings of the 2019 Design, Automation & Test in Europe (DATE). EDAA, s. 498–503

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång

Fil

9 Citeringar (Scopus)

32 Nedladdningar (Pure)

2020

Applying Test-Driven Development for Improved Feedback and Automation of Grading in Academic Courses on Software Development

Truscan, D., Ahmad, T. & Tran, C., 2020, Frontiers in Software Engineering Education - 1st International Workshop, FISEE 2019, Invited Papers. Bruel, J-M., Capozucca, A., Mazzara, M., Naumchev, A., Sadovykh, A. & Meyer, B. (red.). Springer, s. 310–323 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12271 LNCS).

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång

Fil

35 Nedladdningar (Pure)

Applying Test-driven Development to Evaluating Student Projects

Tran, C., Truscan, D. & Ahmad, T., 2020, 6th International Conference on Higher Education Advances (HEAd’20). Domenech, J., Merello, P., de la Poza, E. & Peña-Ortiz, R. (red.). Universitat Politècnica de València Press, s. 1155–1163

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång

Fil

3 Citeringar (Scopus)

31 Nedladdningar (Pure)

2021

Applying Model-based Requirements Engineering in Three Large European Collaborative Projects: An Experience Report

Sadovykh, A., Truscan, D. & Bruneliere, H., 2021, 2021 IEEE 29th International Requirements Engineering Conference (RE). Los Alamitos, CA, USA: IEEE, s. 367-377 11 s.

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Öppen tillgång

Fil

6 Citeringar (Scopus)

37 Nedladdningar (Pure)

MegaModelling at Runtime

Forskningsresultat

Sökresultat