Dragos Truscan

2025

Using Reinforcement Learning for Security Testing: A Systematic Mapping Study

Ahmad, T., Butkovic, M. & Truscan, D., 16 apr. 2025, 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, (IEEE International Conference on Software Testing, Verification and Validation Workshops).

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

26 Nedladdningar (Pure)

Visual Spectrum-Based Fault Localization for Python Programs Based on the Differentiation of Execution Slices

Khan, S., Sudheerbabu, G., Elena Staicu, B., Ahmad, T. & Truscan, D., 4 feb. 2025, (Accepterad/under tryckning).

Forskningsoutput: Konferensbidrag › Arbetsdokument › Peer review

Öppen tillgång

Fil

10 Nedladdningar (Pure)

2024

An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report

Sadovykh, A., Said, B., Truscan, D. & Bruneliere, H., jan. 2024, I: Science of Computer Programming. 232, s. 103047 26 s., 103047.

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

1 Citeringar (Scopus)

Early Detection with Explainability of Network Attacks Using Deep Learning

Ahmad, T. & Truscan, D., 2024, Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024. IEEE, s. 161-167 (Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024).

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Iterative Optimization of Hyperparameter-based Metamorphic Transformations

Sudheerbabu, G., Ahmad, T., Truscan, D., Vain, J. & Porres, I., 17 sep. 2024, Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024. IEEE, s. 13-20 (Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024).

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Localizer: A Visual Debugging Assistant for Python Programs

Khan, S., Sudheerbabu, G., Truscan, D. & Ahmad, T., 13 sep. 2024, DEBT 2024 - Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, Co-located with: ISSTA 2024. Boix, E. G. & Scholliers, C. (red.). New York, NY, USA: ACM, s. 34–35 (DEBT 2024 - Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, Co-located with: ISSTA 2024).

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

6 Nedladdningar (Pure)

Message from the ITEQS 2024 Workshop Chairs ICSTW 2024

Saadatmand, M., Truscan, D. & Enoiu, E. P., 2024, 2 s. IEEE.

Forskningsoutput: Övriga bidrag

Smart Assistants for Enhancing System Security and Resilience

Andrey, S., Truscan, D., Schneider, M., Mallouli, W., Cavalli, A., Seceleanu, C. & Ahmad, T., 2024, Communication Papers of the 19th Conference on Computer Science and Intelligence Systems (FedCSIS). Polskie Towarzystwo Informatyczne, s. 151-158 (Annals of computer science and information systems; vol. 41).

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

25 Nedladdningar (Pure)

2023

An Evaluation of Transformer Models for Early Intrusion Detection in Cloud Continuum

Islam, M. M., Ahmad, T. & Truscan, D., 2023, Proceedings - 2023 IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2023. IEEE, s. 279-284 6 s. (Proceedings of the International Conference on Cloud Computing Technology and Science, CloudCom).

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

1 Citeringar (Scopus)

CyberSecurity in a DevOps Environment: From Requirements to Monitoring

Sadovykh, A. (Redaktör), Truscan, D. (Redaktör), Mallouli, W. (Redaktör), Cavalli, A. R. (Redaktör), Seceleanu, C. (Redaktör) & Bagnto, A., dec. 2023, Springer. 324 s.

Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

EARLY: A Tool for Real-Time Security Attack Detection

Ahmad, T., Truscan, D. & Vain, J., dec. 2023, CyberSecurity in a DevOps Environment : From Requirements to Monitoring. Sadovykh, A., Truscan, D., Mallouli, W., Cavalli, A. R., Seceleanu, C. & Bagnato, A. (red.). Springer, s. 225-251

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

Öppen tillgång

Fil

2 Citeringar (Scopus)

42 Nedladdningar (Pure)

Efficient Early Anomaly Detection of Network Security Attacks Using Deep Learning

Ahmad, T. & Truscan, D., aug. 2023, Proceedings of the 2023 IEEE International Conference on Cyber Security and Resilience, CSR 2023. IEEE, s. 154-159 (Proceedings of the 2023 IEEE International Conference on Cyber Security and Resilience, CSR 2023).

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

2 Citeringar (Scopus)

114 Nedladdningar (Pure)

Message from ITEQS 2023 Workshop Chairs

Saadatmand, M., Truscan, D. & Enoiu, E., 2023

Forskningsoutput: Övriga bidrag

Öppen tillgång

Metamorphic Testing for Verification and Fault Localization in Industrial Control Systems

Chariyarupadannayil Sudheerbabu, G., Ahmad, T., Truscan, D. & Vain, J., 2023, CyberSecurity in a DevOps Environment : From Requirements to Monitoring. Sadovykh, A., Truscan, D., Mallouli, W., Cavalli, A. R., Seceleanu, C. & Bagnato, A. (red.). Springer, s. 127-159

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

Öppen tillgång

Fil

2 Citeringar (Scopus)

5 Nedladdningar (Pure)

Preliminary Results in Using Attention for Increasing Attack Identification Efficiency

Ahmad, T., Truscan, D. & Vain, J., maj 2023, Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023. IEEE, s. 159-164 6 s. (IEEE International Conference on Software Testing, Verification and Validation Workshops).

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

2 Citeringar (Scopus)

148 Nedladdningar (Pure)

VeriDevOps Software Methodology: Security Verification and Validation for DevOps Practices

Enoiu, E. P., Truscan, D., Andrey, S. & Mallouli, W., 29 aug. 2023, ARES 2023 - 18th International Conference on Availability, Reliability and Security, Proceedings. ACM, s. 1-9 135. (ACM International Conference Proceeding Series).

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

1 Citeringar (Scopus)

115 Nedladdningar (Pure)

2022

Addressing challenges of hybrid capstone projects in a pandemic environment

Björkqvist, J., Sell, A. & Truscan, D., juni 2022, 18th CDIO International Conference Proceedings. Reykjavik University, Iceland, (Proceedings of the International CDIO Conference).

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

1 Citeringar (Scopus)

36 Nedladdningar (Pure)

Application de l'Ingénierie des Exigences basée sur les Modèles dans Trois Grands Projets Collaboratifs Européens : Un Rapport d'Expérience

Sadovykh, A., Bruneliere, H. & Truscan, D., 2022, 2 s. INFORSID.

Forskningsoutput: Övriga bidrag

Öppen tillgång

A Two-phase Metamorphic Approach for Testing Industrial Control Systems

Sudheerbabu, G., Ahmad, T., Sebek, F., Truscan, D., Vain, J. & Porres, I., 2022, 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE, (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA; vol. 2022-September).

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

4 Citeringar (Scopus)

Early Detection of Network Attacks Using Deep Learning

Ahmad, T., Truscan, D., Vain, J. & Porres, I., 2022, 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, s. 30-39 10 s.

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

15 Citeringar (Scopus)

85 Nedladdningar (Pure)

Evaluating System Identification Methods for Predicting Thermal Dissipation of Heterogeneous SoCs

Öhrling, J., Lafond, S. & Truscan, D., 2022, Embedded Computer Systems: Architectures, Modeling, and Simulation. SAMOS 2021. . Springer, s. 144-160 17 s. ( Lecture Notes in Computer Science; vol. 13227).

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

49 Nedladdningar (Pure)

Message from the ITEQS 2022 Workshop Chairs

Saadatmand, M., Truscan, D. & Enoiu, E. P., 2022, 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, s. xii 1 s.

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig

Öppen tillgång

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 › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

8 Citeringar (Scopus)

46 Nedladdningar (Pure)

Enabling fast exploration and validation of thermal dissipation requirements for heterogeneous SoCs

Öhrling, J., Truscan, D. & Lafond, S., maj 2021, Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2021. IEEE, s. 114-123 10 s. 9440167

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

2 Citeringar (Scopus)

27 Nedladdningar (Pure)

Message from the ITEQS 2021 Workshop Chairs

Saadatmand, M., Truscan, D. & Enoiu, E., apr. 2021, Los Alamitos, CA, USA : IEEE Computer Society.

Forskningsoutput: Övriga bidrag

Öppen tillgång

NLP-based Testing and Monitoring for Security Checking

Sadovykh, A., Salazar, Z., Mallouli, W., Cavalli, A. R., Truscan, D., Enoiu, E. P., Iglesias, R. & Hendel, O., 2021.

Forskningsoutput: Konferensbidrag › Sammanfattning › Vetenskaplig › Peer review

Öppen tillgång

Fil

27 Nedladdningar (Pure)

Security Requirements as Code: Example from VeriDevOps Project

Ismaeel, K., Naumchev, A., Sadovykh, A., Truscan, D., Enoiu, E. P. & Seceleanu, C., 2021, Proceedings - 29th IEEE International Requirements Engineering Conference Workshops, REW 2021. Yue, T. & Mirakhorli, M. (red.). IEEE, s. 357-363 7 s.

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

4 Citeringar (Scopus)

126 Nedladdningar (Pure)

VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps

Sadovykh, A., Widforss, G., Truscan, D., Enoiu, E. P., Mallouli, W., Iglesias, R., Bagnto, A. & Hendel, O., 1 feb. 2021, Proceedings of the 2021 Design, Automation and Test in Europe, DATE 2021. the Institute of Electrical and Electronics Engineers, Inc., s. 1330-1333 4 s. 9474185. (Proceedings -Design, Automation and Test in Europe, DATE; vol. 2021-February).

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Fil

13 Citeringar (Scopus)

91 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 › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

72 Nedladdningar (Pure)

Applying Test-driven Development to Evaluating Student Projects

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

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

3 Citeringar (Scopus)

53 Nedladdningar (Pure)

A Tool-Supported Approach for Building the Architecture and Roadmap in MegaM@Rt2 Project

Sadovykh, A., Bagnato, A., Truscan, D., Pierini, P., Bruneliere, H., Gómez, A., Cabot, J., Avila-García, O. & Afzal, W., 2020, Proceedings of 6th International Conference in Software Engineering for Defence Applications - SEDA 2018. Ciancarini, P., Mazzara, M., Messina, A., Sillitti, A. & Succi, G. (red.). Springer Verlag, s. 265-274 10 s. (Advances in Intelligent Systems and Computing; vol. 925).

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

1 Citeringar (Scopus)

45 Nedladdningar (Pure)

Automatic exploratory performance testing using a discriminator neural network

Porres, I., Ahmad, T., Rexha, H., Lafond, S. & Truscan, D., 2020, 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). the Institute of Electrical and Electronics Engineers, Inc., s. 105-113 9 s. 9155898

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

11 Citeringar (Scopus)

99 Nedladdningar (Pure)

MegaM@Rt2 EU Project: Open Source Tools for Mega-Modelling at Runtime of CPSs

Cruz, J. G., Sadovykh, A., Truscan, D., Bruneliere, H., Pierini, P. & Muñiz, L. L., 2020, Open Source Systems : 16th IFIP WG 2.13 International Conference, OSS 2020, Proceedings. Ivanov, V., Kruglov, A., Masyagin, S., Sillitti, A. & Succi, G. (red.). Springer Link, s. 183-189 7 s. (IFIP Advances in Information and Communication Technology; vol. 582 IFIP).

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

3 Citeringar (Scopus)

Message from ITEQS 2020 Workshop Chairs

Saadatmand, M., Truscan, D. & Enoiu, E., okt. 2020, 2 s. IEEE.

Forskningsoutput: Övriga bidrag › Peer review

Öppen tillgång

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. 42

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

80 Nedladdningar (Pure)

Using Deep Reinforcement Learning for Exploratory Performance Testing of Software Systems with Multi-Dimensional Input Spaces

Ahmad, T., Ashraf, A., Truscan, D., Domi, A. & Porres, I., 2020, I: IEEE Access. 8, s. 195000-195020 21 s.

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

9 Citeringar (Scopus)

54 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 › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

15 Citeringar (Scopus)

20 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 › Publicerad konferensartikel › Vetenskaplig › Peer review

Fil

6 Citeringar (Scopus)

61 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 › Publicerad konferensartikel › Vetenskaplig › Peer review

Fil

12 Citeringar (Scopus)

114 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 › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

75 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 › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

2 Citeringar (Scopus)

22 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–112

Forskningsoutput: Tidskriftsbidrag › Översiktsartikel › Peer review

Fil

55 Citeringar (Scopus)

1300 Nedladdningar (Pure)

On a tool-supported model-based approach for building architectures and roadmaps: The MegaM@Rt2 project experience

Sadovykh, A., Afzal, W., Truscan, D., Pierini, P., Bruneliere, H., Bagnato, A., Gómez, A., Cabot, J. & Avila-García, O., 2019, I: Microprocessors and Microsystems. 71, s. –

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Fil

2 Citeringar (Scopus)

33 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 › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

12 Citeringar (Scopus)

56 Nedladdningar (Pure)

2018

Identifying Worst-Case User Scenarios for Performance Testing of Web Applications Using Markov-Chain Workload Models

Ahmad, T., Truscan, D. & Porres Paltor, I., 2018, I: Future Generation Computer Systems. 87, s. 910–920

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Fil

11 Citeringar (Scopus)

96 Nedladdningar (Pure)

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 › Publicerad konferensartikel › Vetenskaplig › Peer review

Fil

30 Nedladdningar (Pure)

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., Gómez, A., Gorroñogoitia, J., Pomante, L. & Smrz, P., 2018, I: Microprocessors and Microsystems. 61, s. 86–95

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

33 Citeringar (Scopus)

42 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 › Publicerad konferensartikel › Vetenskaplig › Peer review

Öppen tillgång

Fil

11 Citeringar (Scopus)

81 Nedladdningar (Pure)

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 › Publicerad konferensartikel › 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 › Publicerad konferensartikel › Vetenskaplig › Peer review

1 Citeringar (Scopus)

Dragos Truscan

Publikationer

Sökresultat