Extending EAST-ADL for Modeling and Analysis of System's Resource-Usage. - Raluca Marinescu; Eduard Paul Enoiu (COMPSAC Workshops, 2012)

ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT. - Eduard Paul Enoiu; Raluca Marinescu; Cristina Cerschi Seceleanu; Paul Pettersson (ICECCS, 2012)

A Design Tool for Service-oriented Systems. - Eduard Paul Enoiu; Raluca Marinescu; Aida Causevic; Cristina Cerschi Seceleanu (FESCA, 2012)

MOS: An integrated model-based and search-based testing tool for Function Block Diagrams. - Eduard Paul Enoiu; Kivanc Doganay; Markus Bohlin; Daniel Sundmark; Paul Pettersson (CMSBSE@ICSE, 2013)

Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker. - Eduard Paul Enoiu; Daniel Sundmark; Paul Pettersson (ICST Workshops, 2013)

Using Logic Coverage to Improve Testing Function Block Diagrams. - Eduard Paul Enoiu; Daniel Sundmark; Paul Pettersson (ICTSS, 2013)

A methodology for formal analysis and verification of EAST-ADL models. - Eun-Young Kang 001; Eduard Paul Enoiu; Raluca Marinescu; Cristina Cerschi Seceleanu; Pierre-Yves Schobbens; Paul Pettersson (Reliab. Eng. Syst. Saf., 2013)

Enablers and impediments for collaborative research in software testing: an empirical exploration. - Eduard Paul Enoiu; Adnan Causevic (WISE@ASE, 2014)

Statistical Analysis of Resource Usage of Embedded Systems Modeled in EAST-ADL. - Raluca Marinescu; Eduard Paul Enoiu; Cristina Seceleanu (ISVLSI, 2015)

Programming languages popularity and implications to testing programmable logic controllers. - Eduard Paul Enoiu (PeerJ Prepr., 2015)

A Controlled Experiment in Testing of Safety-Critical Embedded Software. - Eduard Paul Enoiu; Adnan Causevic; Daniel Sundmark; Paul Pettersson (ICST, 2016)

A Study of Concurrency Bugs in an Open Source Software. - Sara Abbaspour Asadollah; Daniel Sundmark; Sigrid Eldh; Hans Hansson; Eduard Paul Enoiu (OSS, 2016)

Mutation-Based Test Generation for PLC Embedded Software Using Model Checking. - Eduard Paul Enoiu; Daniel Sundmark; Adnan Causevic; Robert Feldt; Paul Pettersson (ICTSS, 2016)

Automated test generation using model checking: an industrial evaluation. - Eduard Paul Enoiu; Adnan Causevic; Thomas J. Ostrand; Elaine J. Weyuker; Daniel Sundmark; Paul Pettersson (Int. J. Softw. Tools Technol. Transf., 2016)

Automatic test generation for industrial control software. - Eduard Enoiu (2016)

Using Timed Base-Choice Coverage Criterion for Testing Industrial Control Software. - Henning Bergstrom; Eduard Paul Enoiu (ICST Workshops, 2017)

A Comparative Study of Manual and Automated Testing for Industrial Control Software. - Eduard Paul Enoiu; Daniel Sundmark; Adnan Causevic; Paul Pettersson (ICST, 2017)

Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL. - Raluca Marinescu; Eduard Paul Enoiu; Cristina Seceleanu; Daniel Sundmark (ICST Workshops, 2017)

Can Pairwise Testing Perform Comparably to Manually Handcrafted Testing Carried Out by Industrial Engineers? - Peter Charbachi; Linus Eklund; Eduard Enoiu (QRS Companion, 2017)

Improving continuous integration with similarity-based test case selection. - Francisco Gomes de Oliveira Neto; Azeem Ahmad; Ola Leifler; Kristian Sandahl; Eduard Enoiu (AST@ICSE, 2018)

Combinatorial Modeling and Test Case Generation for Industrial Control Software Using ACTS. - Sara Ericsson; Eduard Enoiu (QRS, 2018)

From Natural Language Requirements to Passive Test Cases Using Guarded Assertions. - Daniel Flemström; Eduard Enoiu; Wasif Afzal; Daniel Sundmark; Thomas Gustafsson; Avenir Kobetski (QRS, 2018)

From Modeling to Test Case Generation in the Industrial Embedded System Domain. - Aliya Hussain; Saurabh Tiwari 001; Jagadish Suryadevara; Eduard Enoiu (STAF Workshops, 2018)

An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models. - Raluca Marinescu; Predrag Filipovikj; Eduard Paul Enoiu; Jonatan Larsson; Cristina Seceleanu (CoRR, 2018)

Test Agents: Adaptive, Autonomous and Intelligent Test Cases. - Eduard Enoiu; Mirgita Frasheri (CoRR, 2018)

On the correlation between testing effort and software complexity metrics. - Adnan Muslija; Eduard Paul Enoiu (PeerJ Prepr., 2018)

MBRP: Model-Based Requirements Prioritization Using PageRank Algorithm. - Muhammad Abbas 002; Irum Inayat; Naila Jan; Mehrdad Saadatmand; Eduard Paul Enoiu; Daniel Sundmark (APSEC, 2019)

Teaching Software Testing to Industrial Practitioners Using Distance and Web-Based Learning. - Eduard Paul Enoiu (FISEE, 2019)

Test Agents: The Next Generation of Test Cases. - Eduard Enoiu; Mirgita Frasheri (ICST Workshops, 2019)

On Measuring Combinatorial Coverage of Manually Created Test Cases for Industrial Software. - Miraldi Fifo; Eduard Enoiu; Wasif Afzal (ICST Workshops, 2019)

Information Flow in Software Testing - An Interview Study With Embedded Software Engineering Practitioners. - Per Erik Strandberg; Eduard Paul Enoiu; Wasif Afzal; Daniel Sundmark; Robert Feldt (IEEE Access, 2019)

An Empirical Exploration on the Supervision of PhD Students Closely Collaborating with Industry. - Eduard Paul Enoiu (CoRR, 2019)

Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents. - Rong Gu; Eduard Enoiu; Cristina Seceleanu; Kristina Lundqvist (FMICS, 2020)

Automated Reuse Recommendation of Product Line Assets Based on Natural Language Requirements. - Muhammad Abbas 002; Mehrdad Saadatmand; Eduard Enoiu; Daniel Sundmark; Claes Lindskog (ICSR, 2020)

Keywords-based test categorization for Extra-Functional Properties. - Muhammad Abbas 002; Abdul Rauf; Mehrdad Saadatmand; Eduard Paul Enoiu; Daniel Sundmark (ICST Workshops, 2020)

Probabilistic Mission Planning and Analysis for Multi-agent Systems. - Rong Gu; Eduard Enoiu; Cristina Seceleanu; Kristina Lundqvist (ISoLA (1), 2020)

Towards a Model of Testers' Cognitive Processes: Software Testing as a Problem Solving Approach. - Eduard Enoiu; Gerald Tukseferi; Robert Feldt (QRS Companion, 2020)

Agent-Based Software Testing: A Definition and Systematic Mapping Study. - Pavithra Perumal Kumaresen; Mirgita Frasheri; Eduard Paul Enoiu (QRS Companion, 2020)

Towards a Taxonomy for Eliciting Design-Operation Continuum Requirements of Cyber-Physical Systems. - Jon Ayerdi; Aitor Gartziandia; Aitor Arrieta; Wasif Afzal; Eduard Enoiu; Aitor Agirre; Goiuria Sagardui; Maite Arratibel; Ola Sellin (RE, 2020)

TAMAA: UPPAAL-based mission planning for autonomous agents. - Rong Gu; Eduard Enoiu; Cristina Seceleanu (SAC, 2020)

On the measurement of software complexity for plc industrial control systems using TIQVA. - Adnan Muslija; Eduard Enoiu (SAC, 2020)

Product line adoption in industry: an experience report from the railway domain. - Muhammad Abbas 002; Robbert Jongeling; Claes Lindskog; Eduard Paul Enoiu; Mehrdad Saadatmand; Daniel Sundmark (SPLC (A), 2020)

An evaluation of Monte Carlo-based hyper-heuristic for interaction testing of industrial embedded software applications. - Bestoun S. Ahmed; Eduard Enoiu; Wasif Afzal; Kamal Z. Zamli (Soft Comput., 2020)

Ethical AI-Powered Regression Test Selection. - Per Erik Strandberg; Mirgita Frasheri; Eduard Paul Enoiu (AITest, 2021)

VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps. - Andrey Sadovykh; Gunnar Widforss; Dragos Truscan; Eduard Paul Enoiu; Wissam Mallouli; Rosa Iglesias; Alessandra Bagnato; Olga Hendel (DATE, 2021)

Assured Cloud Platforms for Industrial Cyber-Physical Systems: The ACICS Approach. - Cristina Seceleanu; Eduard Paul Enoiu; Jan Carlson; Kristina Lundqvist; Séverine Sentilles; Moris Behnam; Gabriele Capannini (ECBS, 2021)

Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles. - Rong Gu; Cristina Seceleanu; Eduard Enoiu; Kristina Lundqvist (FM, 2021)

Towards Human-Like Automated Test Generation: Perspectives from Cognition and Problem Solving. - Eduard Enoiu; Robert Feldt (CHASE@ICSE, 2021)

Industrial Scale Passive Testing with T-EARS. - Daniel Flemström; Henrik Jonsson; Eduard Paul Enoiu; Wasif Afzal (ICST, 2021)

A Model-Based Test Script Generation Framework for Embedded Software. - Muhammad Nouman Zafar; Wasif Afzal; Eduard Paul Enoiu; Athanasios Stratis; Ola Sellin (ICST Workshops, 2021)

Model-Based Testing in Practice: An Industrial Case Study using GraphWalker. - Muhammad Nouman Zafar; Wasif Afzal; Eduard Enoiu; Athanasios Stratis; Aitor Arrieta; Goiuria Sagardui (ISEC, 2021)

Security Requirements as Code: Example from VeriDevOps Project. - Khaled Ismaeel; Alexandr Naumchev; Andrey Sadovykh; Dragos Truscan; Eduard Paul Enoiu; Cristina Seceleanu (RE Workshops, 2021)

Is Requirements Similarity a Good Proxy for Software Similarity? An Empirical Investigation in Industry. - Muhammad Abbas 002; Alessio Ferrari 001; Anas Shatnawi; Eduard Paul Enoiu; Mehrdad Saadatmand (REFSQ, 2021)

Towards a workflow for model-based testing of embedded systems. - Muhammad Nouman Zafar; Wasif Afzal; Eduard Enoiu (A-TEST@ESEC/SIGSOFT FSE, 2021)

Requirements-driven reuse recommendation. - Muhammad Abbas 002; Mehrdad Saadatmand; Eduard Paul Enoiu (SPLC (A), 2021)

Combining Model-Based Testing and Automated Analysis of Behavioural Models using GraphWalker and UPPAAL. - Saurabh Tiwari 001; Kumar Iyer; Eduard Paul Enoiu (APSEC, 2022)

Evaluating System-Level Test Generation for Industrial Software: A Comparison between Manual, Combinatorial and Model-Based Testing. - Muhammad Nouman Zafar; Wasif Afzal; Eduard Enoiu (AST@ICSE, 2022)

SmartDelta: Automated Quality Assurance and Optimization in Incremental Industrial Software Systems Development. - Mehrdad Saadatmand; Eduard Paul Enoiu; Holger Schlingloff; Michael Felderer; Wasif Afzal (DSD, 2022)

An Evaluation of General-Purpose Static Analysis Tools on C/C++ Test Code. - Jean Malm; Eduard Enoiu; Abu Naser Masud; Björn Lisper; Zoltán Porkoláb; Sigrid Eldh (SEAA, 2022)

Model-Based System Engineering Adoption in the Vehicular Systems Domain. - Henrik Gustavsson; Jan Carlson; Eduard Enoiu (FedCSIS, 2022)

Choosing a Test Automation Framework for Programmable Logic Controllers in CODESYS Development Environment. - Mikael Ebrahimi Salari; Eduard Paul Enoiu; Wasif Afzal; Cristina Seceleanu (ICST Workshops, 2022)

Human-based Test Design versus Automated Test Generation: A Literature Review and Meta-Analysis. - Ted Kurmaku; Eduard Paul Enoiu; Musa Kumrija (ISEC, 2022)

Automation of the creation and execution of system level hardware-in-loop tests through model-based testing. - Viktor Aronsson Karlsson; Ahmed Almasri; Eduard Paul Enoiu; Wasif Afzal; Peter Charbachi (A-TEST@ESEC/SIGSOFT FSE, 2022)

Specification of Passive Test Cases Using an Improved T-EARS Language. - Daniel Flemström; Wasif Afzal; Eduard Paul Enoiu (SWQD, 2022)

NALABS: Detecting Bad Smells in Natural Language Requirements and Test Specifications. - Kostadin Rajkovic; Eduard Enoiu (CoRR, 2022)

Correction to: On the relationship between similar requirements and similar software. - Muhammad Abbas 002; Alessio Ferrari 001; Anas Shatnawi; Eduard Enoiu; Mehrdad Saadatmand; Daniel Sundmark (Requir. Eng., 2022)

Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems. - Rong Gu; Peter Gjøl Jensen; Cristina Seceleanu; Eduard Enoiu; Kristina Lundqvist (Sci. Comput. Program., 2022)

Verifiable strategy synthesis for multiple autonomous agents: a scalable approach. - Rong Gu; Peter Gjøl Jensen; Danny Bøgsted Poulsen; Cristina Seceleanu; Eduard Enoiu; Kristina Lundqvist (Int. J. Softw. Tools Technol. Transf., 2022)

Complementary material for the book "Optimising the Software Development Process with Artificial Intelligence". - José Raúl Romero; Inmaculada Medina-Bulo; Francisco Chicano; Liyan Song; Leandro L. Minku; Fitsum Meshesha Kifetew; Anna Perini; Angelo Susi; Antonio Garmendia; Dominik Bork; Martin Eisenberg; Thiago do Nascimento Ferreira; et al. (Zenodo, 2022)

VeriDevOps Software Methodology: Security Verification and Validation for DevOps Practices. - Eduard Paul Enoiu; Dragos Truscan; Andrey Sadovykh; Wissam Mallouli (ARES, 2023)

Automating Test Generation of Industrial Control Software Through a PLC-to-Python Translation Framework and Pynguin. - Mikael Ebrahimi Salari; Eduard Paul Enoiu; Cristina Seceleanu; Wasif Afzal; Filip Sebek (APSEC, 2023)

Building a Digital Twin Framework for Dynamic and Robust Distributed Systems. - Tiberiu Seceleanu; Ning Xiong 001; Eduard Paul Enoiu; Cristina Seceleanu (ECBS, 2023)

An Empirical Evaluation of System-Level Test Effectiveness for Safety-Critical Software. - Muhammad Nouman Zafar; Wasif Afzal; Eduard Paul Enoiu (ENASE, 2023)

On the Current State of Academic Software Testing Education in Sweden. - Ayodele A. Barrett; Eduard Paul Enoiu; Wasif Afzal (ICSTW, 2023)

Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems. - Rong Gu; Eduard Enoiu (ICSTW, 2023)

Test Generation and Mutation Analysis of Energy Consumption using UPPAAL SMC and MATS. - Jonatan Larsson; Eduard Paul Enoiu (ICSTW, 2023)

An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems. - Mikael Ebrahimi Salari; Eduard Paul Enoiu; Wasif Afzal; Cristina Seceleanu (ICSTW, 2023)

Understanding Problem Solving in Software Testing: An Exploration of Tester Routines and Behavior. - Eduard Paul Enoiu; Gregory Gay 002; Jameel Esber; Robert Feldt (ICTSS, 2023)

An Industrial Study on the Challenges and Effects of Diversity-Based Testing in Continuous Integration. - Azeem Ahmad; Francisco Gomes de Oliveira Neto; Eduard Paul Enoiu; Kristian Sandahl; Ola Leifler (QRS, 2023)

The Comparative Evaluation of Test Prioritization Approaches in an Industrial Study. - Azeem Ahmad; Francisco Gomes de Oliveira Neto; Eduard Paul Enoiu; Kristian Sandahl; Ola Leifler (QRS Companion, 2023)

Requirement or Not, That is the Question: A Case from the Railway Industry. - Sarmad Bashir; Muhammad Abbas 002; Mehrdad Saadatmand; Eduard Paul Enoiu; Markus Bohlin; Pernilla Lindberg (REFSQ, 2023)

PyLC: A Framework for Transforming and Validating PLC Software using Python and Pynguin Test Generator. - Mikael Ebrahimi Salari; Eduard Paul Enoiu; Wasif Afzal; Cristina Seceleanu (SAC, 2023)

SmartDelta project: Automated quality assurance and optimization across product versions and variants. - Mehrdad Saadatmand; Muhammad Abbas 002; Eduard Paul Enoiu; Bernd-Holger Schlingloff; Wasif Afzal; Benedikt Dornauer; Michael Felderer (Microprocess. Microsystems, 2023)

Artificial Intelligence Techniques in System Testing. - Michael Felderer; Eduard Paul Enoiu; Sahar Tahvili (Optimising the Software Development Process with Artificial Intelligence, 2023)

On the relationship between similar requirements and similar software. - Muhammad Abbas 002; Alessio Ferrari 001; Anas Shatnawi; Eduard Enoiu; Mehrdad Saadatmand; Daniel Sundmark (Requir. Eng., 2023)

Unveiling Cognitive Biases in Software Testing: Insights from a Survey and Controlled Experiment. - Eduard Paul Enoiu; Alexandru Cusmaru; Jean Malm (APSEC, 2024)

Similarities and Overlaps in Operational Scenarios - A Study of Legacy Industrial Products in the Railway Vehicle Domain. - Henrik Gustavsson; Jan Carlson; Eduard Paul Enoiu; David Lindgren (SEAA, 2024)

Optimizing Model-based Generated Tests: Leveraging Machine Learning for Test Reduction. - Muhammad Nouman Zafar; Wasif Afzal; Eduard Paul Enoiu; Zulqarnain Haider; Inderjeet Singh (ICSTW, 2024)

Success Factors in the Specification of Operational Scenarios - An Industrial Perspective. - Henrik Gustavsson; Damir Bilic; Jan Carlson; Eduard Paul Enoiu (SysCon, 2024)

Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions. - Rong Gu; Eduard Baranov; Afshin Ameri; Cristina Seceleanu; Eduard Paul Enoiu; Baran Çürüklü; Axel Legay; Kristina Lundqvist (ACM Trans. Softw. Eng. Methodol., 2024)

PyLC+: A Scalable Python Framework for Automated Translation and Testing of Industrial PLC Programs. - Mikael Ebrahimi Salari; Eduard Paul Enoiu; Alessio Bucaioni; Wasif Afzal; Cristina Seceleanu (COMPSAC, 2025)

Gaps in Software Testing Education: A Survey of Academic Courses in Sweden. - Ayodele A. Barrett; Eduard Paul Enoiu; Wasif Afzal (CSEE&T, 2025)

Automated Test Generation - Taxonomy and Tool Applications. - Eduard Enoiu; Nasir Mehmood Minhas; Michael Felderer; Wasif Afzal (FSEN, 2025)

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering. - Benedikt Dornauer; Michael Felderer; Mehrdad Saadatmand; Muhammad Abbas 002; Nicolas Bonnotte; Andreas Dreschinski; Eduard Paul Enoiu; Eray Tüzün; Baykal Mehmet Uçar; Ömercan Devran; Robin Gröpler (CoRR, 2025)

An Empirical Investigation of Requirements Engineering and Testing Utilizing EARS Notation in PLC Programs. - Mikael Ebrahimi Salari; Eduard Paul Enoiu; Wasif Afzal; Cristina Seceleanu (SN Comput. Sci., 2025)

A Model-Based Test Script Generation Framework and Industrial Insight. - Muhammad Nouman Zafar; Wasif Afzal; Eduard Paul Enoiu; Zulqarnain Haider; Inderjeet Singh (SN Comput. Sci., 2025)