Следене
Eduard Paul Enoiu
Eduard Paul Enoiu
Associate Professor, Mälardalen University
Потвърден имейл адрес: mdh.se - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
912016
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
672013
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
462013
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
452017
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
422023
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
392012
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
352018
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
342020
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
322019
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
292021
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
282020
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
282020
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
272020
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
232020
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
232016
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
232016
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
202021
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
192020
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
182021
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
182021
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20