Eduard Paul Enoiu
TitleCited byYear
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
462013
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 18 (3), 335-353, 2016
372016
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
362013
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
282012
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
122013
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
92016
Enablers and Impediments for Collaborative Research in Software Testing: An Empirical Exploration
EP Enoiu, A Čaušević
International Workshop on Long-term Industrial Collaboration on Software …, 2014
82014
A SysML Model for Code Correction and Detection Systems
S Stancescu, L Neagoe, R Marinescu, EP Enoiu
Proceedings of the 33rd Information and Communication Technology …, 2010
82010
Statistical Analysis of Resource Usage of Embedded Systems Modeled in EAST-ADL
R Marinescu, EP Enoiu, C Seceleanu
IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2015
62015
Using Logic Coverage to Improve Testing Function Block Diagrams
EP Enoiu, D Sundmark, P Pettersson
IFIP International Conference on Testing Software and Systems, 1-16, 2013
62013
Extending EAST-ADL for Modeling and Analysis of System's Resource-Usage
R Marinescu, EP Enoiu
Computer Software and Applications Conference Workshops, 532-537, 2012
62012
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
52017
A Study of Concurrency Bugs in an Open Source Software
SA Asadollah, D Sundmark, S Eldh, H Hansson, EP Enoiu
IFIP International Conference on Open Source Systems, 16-31, 2016
52016
Mutation-based test generation for plc embedded software using model checking
EP Enoiu, D Sundmark, A Čaušević, R Feldt, P Pettersson
IFIP International Conference on Testing Software and Systems, 155-171, 2016
42016
A Design Tool for Service-Oriented Systems
EP Enoiu, R Marinescu, A Čaušević, C Seceleanu
Electronic Notes in Theoretical Computer Science 295, 95-100, 2013
42013
Automated test case generation for function block diagrams using java path finder and symbolic execution
S Kunze
32015
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
22018
Can Pairwise Testing Perform Comparably to Manually Handcrafted Testing Carried Out by Industrial Engineers?
P Charbachi, L Eklund, E Enoiu
2017 IEEE International Conference on Software Quality, Reliability and …, 2017
22017
Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL
R Marinescu, E Enoiu, C Seceleanu, D Sundmark
International Conference on Software Testing, Verification and Validation …, 2017
22017
Programming languages popularity and implications to testing programmable logic controllers
EP Enoiu
PeerJ PrePrints, 2015
22015
The system can't perform the operation now. Try again later.
Articles 1–20