| Automated test generation using model checking: an industrial evaluation EP Enoiu, A Čaušević, TJ Ostrand, EJ Weyuker, D Sundmark, ... International Journal on Software Tools for Technology Transfer, 1-19, 2016 | 89 | 2016 |
| Model-based Test Suite Generation for Function Block Diagrams using the UPPAAL Model Checker EP Enoiu, D Sundmark, P Pettersson Sixth International Conference on Software Testing, Verification and …, 2013 | 69 | 2013 |
| A Methodology for Formal Analysis and Verification of EAST-ADL Models EY Kang, EP Enoiu, R Marinescu, C Seceleanu, PY Schobbens, ... Journal of Reliability Engineering and System Safety 120, 127-138, 2013 | 47 | 2013 |
| A Comparative Study of Manual and Automated Testing for Industrial Control Software E Enoiu, D Sundmark, A Čaušević, P Pettersson International Conference on Software Testing, Verification and Validation …, 2017 | 45 | 2017 |
| VITAL: A Verification Tool for EADL-ADL Models using UPPAAL PORT EP Enoiu, R Marinescu, C Seceleanu, P Pettersson 17th International Conference on Engineering of Complex Computer Systems …, 2012 | 37 | 2012 |
| Product line adoption in industry: An experience report from the railway domain M Abbas, R Jongeling, C Lindskog, EP Enoiu, M Saadatmand, ... Proceedings of the 24th ACM Conference on Systems and Software Product Line …, 2020 | 34 | 2020 |
| Improving continuous integration with similarity-based test case selection FG de Oliveira Neto, A Ahmad, O Leifler, K Sandahl, E Enoiu Proceedings of the 13th international workshop on automation of software …, 2018 | 33 | 2018 |
| On the relationship between similar requirements and similar software: A case study in the railway domain M Abbas, A Ferrari, A Shatnawi, E Enoiu, M Saadatmand, D Sundmark Requirements Engineering 28 (1), 23-47, 2023 | 32 | 2023 |
| Information flow in software testing–an interview study with embedded software engineering practitioners PE Strandberg, EP Enoiu, W Afzal, D Sundmark, R Feldt IEEE Access 7, 46434-46453, 2019 | 31 | 2019 |
| Towards a taxonomy for eliciting design-operation continuum requirements of cyber-physical systems J Ayerdi, A Garciandia, A Arrieta, W Afzal, E Enoiu, A Agirre, G Sagardui, ... 2020 IEEE 28th International Requirements Engineering Conference (RE), 280-290, 2020 | 28 | 2020 |
| Model-Based Testing in Practice: An Industrial Case Study using GraphWalker MN Zafar, W Afzal, E Enoiu, A Stratis, A Arrieta, G Sagardui 14th Innovations in Software Engineering Conference. ACM, 2021 | 27 | 2021 |
| TAMAA: UPPAAL-based mission planning for autonomous agents R Gu, E Enoiu, C Seceleanu Proceedings of the 35th Annual ACM Symposium on Applied Computing, 1624-1633, 2020 | 26 | 2020 |
| An evaluation of Monte Carlo-based hyper-heuristic for interaction testing of industrial embedded software applications BS Ahmed, E Enoiu, W Afzal, KZ Zamli Soft Computing 24 (18), 13929-13954, 2020 | 24 | 2020 |
| Towards a model of testers' cognitive processes: Software testing as a problem solving approach E Enoiu, G Tukseferi, R Feldt 2020 IEEE 20th International Conference on Software Quality, Reliability and …, 2020 | 23 | 2020 |
| A Controlled Experiment in Testing of Safety-Critical Embedded Software EP Enoiu, A Cauevic, D Sundmark, P Pettersson International Conference on Software Testing, Verification and Validation …, 2016 | 23 | 2016 |
| Mutation-based test generation for plc embedded software using model checking EP Enoiu, D Sundmark, A Čaušević, R Feldt, P Pettersson Testing Software and Systems: 28th IFIP WG 6.1 International Conference …, 2016 | 21 | 2016 |
| Automated reuse recommendation of product line assets based on natural language requirements M Abbas, M Saadatmand, E Enoiu, D Sundamark, C Lindskog International Conference on Software and Software Reuse, 173-189, 2020 | 19 | 2020 |
| Is Requirements Similarity a Good Proxy for Software Similarity? An Empirical Investigation in Industry⋆ M Abbas, A Ferrari, A Shatnawi, EP Enoiu The 27th International Working Conference on Requirements Engineering …, 2021 | 18 | 2021 |
| Veridevops: Automated protection and prevention to meet security requirements in devops A Sadovykh, G Widforss, D Truscan, EP Enoiu, W Mallouli, R Iglesias, ... 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2021 | 17 | 2021 |
| A model-based test script generation framework for embedded software MN Zafar, W Afzal, EP Enoiu, A Stratis, O Sellin 2021 IEEE International Conference on Software Testing, Verification and …, 2021 | 16 | 2021 |
Cristina SeceleanuProfessor of Computer Science, Mälardalen UniversityVerifierad e-postadress på mdu.se
