Volgen
Eduard Paul Enoiu
Eduard Paul Enoiu
Associate Professor, Mälardalen University
Geverifieerd e-mailadres voor mdh.se - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
782016
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
412013
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
402017
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
372012
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
262020
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
242016
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
232018
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
222020
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
222020
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
222019
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
212020
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
182023
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
182020
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
172021
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
172016
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
162020
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
142021
MOS: An Integrated Model-Based and Search-Based Testing Tool for Function Block Diagrams
EP Enoiu, K Doganay, M Bohlin, D Sundmark, P Pettersson
International Workshop on Combining Modelling and Search-Based Software …, 2013
142013
Test agents: The next generation of test cases
E Enoiu, M Frasheri
2019 IEEE International Conference on Software Testing, Verification and …, 2019
132019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20