| Automated test generation using model checking: an industrial evaluation EP Enoiu International Journal on Software Tools for Technology Transfer, 1-19, 2014 | 54 | 2014 |
| 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 | 50 | 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 | 39 | 2013 |
| 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 | 31 | 2012 |
| 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 | 15 | 2017 |
| 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 | 15 | 2016 |
| 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 | 13 | 2013 |
| 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 | 10 | 2016 |
| 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 | 9 | 2018 |
| 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 | 9 | 2014 |
| 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 | 9 | 2012 |
| 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 | 8 | 2010 |
| 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 | 7 | 2019 |
| 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 | 7 | 2015 |
| 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 | 6 | 2020 |
| 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 | 6 | 2016 |
| 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 | 6 | 2013 |
| Test Agents: The Next Generation of Test Cases E Enoiu, M Frasheri 2019 IEEE International Conference on Software Testing, Verification and …, 2019 | 5 | 2019 |
| 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 | 5 | 2017 |
| 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 | 4 | 2017 |
Daniel SundmarkProfessor, Mälardalen UniversityVerified email at mdh.se
