Eduard Paul Enoiu

According to our database, Eduard Paul Enoiu authored at least 89 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., September, 2024

Success Factors in the Specification of Operational Scenarios - An Industrial Perspective.

Henrik Gustavsson, Damir Bilic, Jan Carlson, Eduard Paul Enoiu

Proceedings of the IEEE International Systems Conference, 2024

Optimizing Model-based Generated Tests: Leveraging Machine Learning for Test Reduction.

Muhammad Nouman Zafar, Wasif Afzal, Eduard Paul Enoiu, Zulqarnain Haider, Inderjeet Singh

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 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

Proceedings of the 50th Euromicro Conference on Software Engineering and Advanced Applications, 2024

2023

On the relationship between similar requirements and similar software.

Muhammad Abbas, Alessio Ferrari, Anas Shatnawi, Eduard Enoiu, Mehrdad Saadatmand, Daniel Sundmark

Requir. Eng., March, 2023

Artificial Intelligence Techniques in System Testing.

Michael Felderer, Eduard Paul Enoiu, Sahar Tahvili

Proceedings of the Optimising the Software Development Process with Artificial Intelligence, 2023

SmartDelta project: Automated quality assurance and optimization across product versions and variants.

Mehrdad Saadatmand, Muhammad Abbas, Eduard Paul Enoiu, Bernd-Holger Schlingloff, Wasif Afzal, Benedikt Dornauer, Michael Felderer

Microprocess. Microsystems, 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

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Requirement or Not, That is the Question: A Case from the Railway Industry.

Sarmad Bashir, Muhammad Abbas, Mehrdad Saadatmand, Eduard Paul Enoiu, Markus Bohlin, Pernilla Lindberg

Proceedings of the Requirements Engineering: Foundation for Software Quality, 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

Proceedings of the 23rd IEEE International Conference on Software Quality, 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

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Understanding Problem Solving in Software Testing: An Exploration of Tester Routines and Behavior.

Eduard Paul Enoiu, Gregory Gay, Jameel Esber, Robert Feldt

Proceedings of the Testing Software and Systems, 2023

An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems.

Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

Test Generation and Mutation Analysis of Energy Consumption using UPPAAL SMC and MATS.

Jonatan Larsson, Eduard Paul Enoiu

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems.

Rong Gu, Eduard Enoiu

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

On the Current State of Academic Software Testing Education in Sweden.

Ayodele A. Barrett, Eduard Paul Enoiu, Wasif Afzal

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

An Empirical Evaluation of System-Level Test Effectiveness for Safety-Critical Software.

Muhammad Nouman Zafar, Wasif Afzal, Eduard Paul Enoiu

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

Building a Digital Twin Framework for Dynamic and Robust Distributed Systems.

Tiberiu Seceleanu, Ning Xiong, Eduard Paul Enoiu, Cristina Seceleanu

Proceedings of the Engineering of Computer-Based Systems - 8th International Conference, 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

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

VeriDevOps Software Methodology: Security Verification and Validation for DevOps Practices.

Eduard Paul Enoiu, Dragos Truscan, Andrey Sadovykh, Wissam Mallouli

Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023

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, Marouane Kessentini, Manuel Wimmer, Tien N. Nguyen, José Antonio Parejo, Ana Belén Sánchez, Afonso Fontes, Gregory Gay, Francisco Gomes de Oliveira Neto, Robert Feldt, Michael Felderer, Eduard Paul Enoiu, Sahar Tahvili, Foutse Khomh, Mohammad Masudur Rahman, Antoine Barbez, Javier Ferrer, Pedro Delgado-Pérez, Aurora Ramírez, Breno Miranda

Dataset, August, 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

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

Correction to: On the relationship between similar requirements and similar software.

Muhammad Abbas, Alessio Ferrari, Anas Shatnawi, Eduard Enoiu, Mehrdad Saadatmand, Daniel Sundmark

Requir. Eng., 2022

NALABS: Detecting Bad Smells in Natural Language Requirements and Test Specifications.

Kostadin Rajkovic, Eduard Enoiu

CoRR, 2022

Specification of Passive Test Cases Using an Improved T-EARS Language.

Daniel Flemström, Wasif Afzal, Eduard Paul Enoiu

Proceedings of the Software Quality: The Next Big Thing in Software Engineering and Quality, 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

Proceedings of the 13th International Workshop on Automating Test Case Design, 2022

Human-based Test Design versus Automated Test Generation: A Literature Review and Meta-Analysis.

Ted Kurmaku, Eduard Paul Enoiu, Musa Kumrija

Proceedings of the ISEC 2022: 15th Innovations in Software Engineering Conference, Gandhinagar, India, February 24, 2022

Choosing a Test Automation Framework for Programmable Logic Controllers in CODESYS Development Environment.

Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu

Proceedings of the 15th IEEE International Conference on Software Testing, 2022

Model-Based System Engineering Adoption in the Vehicular Systems Domain.

Henrik Gustavsson, Jan Carlson, Eduard Enoiu

Proceedings of the 17th Conference on Computer Science and Intelligence Systems, 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

Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

SmartDelta: Automated Quality Assurance and Optimization in Incremental Industrial Software Systems Development.

Mehrdad Saadatmand, Eduard Paul Enoiu, Holger Schlingloff, Michael Felderer, Wasif Afzal

Proceedings of the 25th Euromicro Conference on Digital System Design, 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

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2022

Combining Model-Based Testing and Automated Analysis of Behavioural Models using GraphWalker and UPPAAL.

Saurabh Tiwari, Kumar Iyer, Eduard Paul Enoiu

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

Requirements-driven reuse recommendation.

Muhammad Abbas, Mehrdad Saadatmand, Eduard Paul Enoiu

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Towards a workflow for model-based testing of embedded systems.

Muhammad Nouman Zafar, Wasif Afzal, Eduard Enoiu

Proceedings of the A-TEST 2021: Proceedings of the 12th International Workshop on Automating TEST Case Design, 2021

Is Requirements Similarity a Good Proxy for Software Similarity? An Empirical Investigation in Industry.

Muhammad Abbas, Alessio Ferrari, Anas Shatnawi, Eduard Paul Enoiu, Mehrdad Saadatmand

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2021

Security Requirements as Code: Example from VeriDevOps Project.

Khaled Ismaeel, Alexandr Naumchev, Andrey Sadovykh, Dragos Truscan, Eduard Paul Enoiu, Cristina Seceleanu

Proceedings of the 29th IEEE International Requirements Engineering Conference 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

Proceedings of the ISEC 2021: 14th Innovations in Software Engineering Conference, 2021

A Model-Based Test Script Generation Framework for Embedded Software.

Muhammad Nouman Zafar, Wasif Afzal, Eduard Paul Enoiu, Athanasios Stratis, Ola Sellin

Proceedings of the 14th IEEE International Conference on Software Testing, 2021

Industrial Scale Passive Testing with T-EARS.

Daniel Flemström, Henrik Jonsson, Eduard Paul Enoiu, Wasif Afzal

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

Towards Human-Like Automated Test Generation: Perspectives from Cognition and Problem Solving.

Eduard Enoiu, Robert Feldt

Proceedings of the 14th IEEE/ACM International Workshop on Cooperative and Human Aspects of Software Engineering, 2021

Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles.

Rong Gu, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist

Proceedings of the Formal Methods - 24th International Symposium, 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

Proceedings of the ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, 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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Ethical AI-Powered Regression Test Selection.

Per Erik Strandberg, Mirgita Frasheri, Eduard Paul Enoiu

Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

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

Product line adoption in industry: an experience report from the railway domain.

Muhammad Abbas, Robbert Jongeling, Claes Lindskog, Eduard Paul Enoiu, Mehrdad Saadatmand, Daniel Sundmark

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

On the measurement of software complexity for plc industrial control systems using TIQVA.

Adnan Muslija, Eduard Enoiu

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

TAMAA: UPPAAL-based mission planning for autonomous agents.

Rong Gu, Eduard Enoiu, Cristina Seceleanu

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 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

Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

Agent-Based Software Testing: A Definition and Systematic Mapping Study.

Pavithra Perumal Kumaresen, Mirgita Frasheri, Eduard Paul Enoiu

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Towards a Model of Testers' Cognitive Processes: Software Testing as a Problem Solving Approach.

Eduard Enoiu, Gerald Tukseferi, Robert Feldt

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Probabilistic Mission Planning and Analysis for Multi-agent Systems.

Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Keywords-based test categorization for Extra-Functional Properties.

Muhammad Abbas, Abdul Rauf, Mehrdad Saadatmand, Eduard Paul Enoiu, Daniel Sundmark

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Automated Reuse Recommendation of Product Line Assets Based on Natural Language Requirements.

Muhammad Abbas, Mehrdad Saadatmand, Eduard Enoiu, Daniel Sundmark, Claes Lindskog

Proceedings of the Reuse in Emerging Software Engineering Practices, 2020

Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents.

Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

2019

An Empirical Exploration on the Supervision of PhD Students Closely Collaborating with Industry.

Eduard Paul Enoiu

CoRR, 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

On Measuring Combinatorial Coverage of Manually Created Test Cases for Industrial Software.

Miraldi Fifo, Eduard Enoiu, Wasif Afzal

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Test Agents: The Next Generation of Test Cases.

Eduard Enoiu, Mirgita Frasheri

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Teaching Software Testing to Industrial Practitioners Using Distance and Web-Based Learning.

Eduard Paul Enoiu

Proceedings of the Frontiers in Software Engineering Education, 2019

MBRP: Model-Based Requirements Prioritization Using PageRank Algorithm.

Muhammad Abbas, Irum Inayat, Naila Jan, Mehrdad Saadatmand, Eduard Paul Enoiu, Daniel Sundmark

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

On the correlation between testing effort and software complexity metrics.

Adnan Muslija, Eduard Paul Enoiu

PeerJ Prepr., 2018

Test Agents: Adaptive, Autonomous and Intelligent Test Cases.

Eduard Enoiu, Mirgita Frasheri

CoRR, 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

From Modeling to Test Case Generation in the Industrial Embedded System Domain.

Aliya Hussain, Saurabh Tiwari, Jagadish Suryadevara, Eduard Enoiu

Proceedings of the Software Technologies: Applications and Foundations, 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

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Combinatorial Modeling and Test Case Generation for Industrial Control Software Using ACTS.

Sara Ericsson, Eduard Enoiu

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Improving continuous integration with similarity-based test case selection.

Francisco Gomes de Oliveira Neto, Azeem Ahmad, Ola Leifler, Kristian Sandahl, Eduard Enoiu

Proceedings of the 13th International Workshop on Automation of Software Test, 2018

2017

Can Pairwise Testing Perform Comparably to Manually Handcrafted Testing Carried Out by Industrial Engineers?

Peter Charbachi, Linus Eklund, Eduard Enoiu

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL.

Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu, Daniel Sundmark

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

A Comparative Study of Manual and Automated Testing for Industrial Control Software.

Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Paul Pettersson

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Using Timed Base-Choice Coverage Criterion for Testing Industrial Control Software.

Henning Bergstrom, Eduard Paul Enoiu

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Automatic test generation for industrial control software.

Eduard Enoiu

PhD thesis, 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

Mutation-Based Test Generation for PLC Embedded Software Using Model Checking.

Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Robert Feldt, Paul Pettersson

Proceedings of the Testing Software and Systems, 2016

A Study of Concurrency Bugs in an Open Source Software.

Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson, Eduard Paul Enoiu

Proceedings of the Open Source Systems: Integrating Communities, 2016

A Controlled Experiment in Testing of Safety-Critical Embedded Software.

Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

2015

Programming languages popularity and implications to testing programmable logic controllers.

Eduard Paul Enoiu

PeerJ Prepr., 2015

Statistical Analysis of Resource Usage of Embedded Systems Modeled in EAST-ADL.

Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu

Proceedings of the 2015 IEEE Computer Society Annual Symposium on VLSI, 2015

2014

Enablers and impediments for collaborative research in software testing: an empirical exploration.

Eduard Paul Enoiu, Adnan Causevic

Proceedings of the WISE'14, 2014

2013

A methodology for formal analysis and verification of EAST-ADL models.

Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Pierre-Yves Schobbens, Paul Pettersson

Reliab. Eng. Syst. Saf., 2013

Using Logic Coverage to Improve Testing Function Block Diagrams.

Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson

Proceedings of the Testing Software and Systems, 2013

Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker.

Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

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

Proceedings of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering, 2013

2012

A Design Tool for Service-oriented Systems.

Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Cerschi Seceleanu

Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012

ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT.

Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Paul Pettersson

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Extending EAST-ADL for Modeling and Analysis of System's Resource-Usage.

Raluca Marinescu, Eduard Paul Enoiu

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012