Eduard Enoiu
Título
Citado por
Citado por
Año
Automated test generation using model checking: an industrial evaluation
EP Enoiu
International Journal on Software Tools for Technology Transfer, 1-19, 2014
502014
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
492013
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
382013
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
312012
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
142016
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
132013
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
122017
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
102016
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
92014
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
92012
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
72015
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
62019
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
62018
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
62016
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
Test Agents: The Next Generation of Test Cases
E Enoiu, M Frasheri
2019 IEEE International Conference on Software Testing, Verification and …, 2019
52019
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
42017
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
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
32020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20