Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 100 (showing 1 - 50)

Deliverable (1)

Automated Protection and Prevention to Meet Security Requirements in DevOps Environments D1.3 (Mar 2021)
Gunnar Widforss, Olga Hendel, Eduard Paul Enoiu, Dragos Truscan , Andrey Sadovykh , Alessandra Bagnato , Rosa Iglesias , Cristina Seceleanu, Damir Bilic

Doctoral Thesis (1)

Automatic Test Generation for Industrial Control Software (Oct 2016)
Eduard Paul Enoiu

Licentiate Thesis (1)

Model Checking-Based Software Testing for Function Block Diagrams (Oct 2014)
Eduard Paul Enoiu

Book chapter (1)

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

Journal article (12)

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

Correctness-Guaranteed Strategy Synthesis and Compression for Multi-Agent Autonomous Systems (Sep 2022)
Rong Gu, Peter Jensen , Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist
Science of Computer Programming (SCICO-223)

Verifiable Strategy Synthesis for Multiple Autonomous Agents: A Scalable Approach (Jun 2022)
Rong Gu, Peter Jensen , Danny Poulsen , Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist
International Journal on Software Tools for Technology Transfer (STTT)

On the relationship between similar requirements and similar software (Jan 2022)
Muhammad Abbas, Alessio Ferrari , Anas Shatnawi , Eduard Paul Enoiu, Mehrdad Saadatmand , Daniel Sundmark
Requirements Engineering (REQUIR ENG)

Automated Test Case Generation for Digital System Designs: A Mapping Study on VHDL, Verilog and SystemVerilog Description Languages (Aug 2020)
Ashish Alape Vivekananda , Eduard Paul Enoiu
MDPI Designs Journal (MDPI Designs)

An Evaluation of Monte Carlo-Based Hyper-Heuristic for Interaction Testing of Industrial Embedded Software Applications (Mar 2020)
Bestoun Ahmed , Eduard Paul Enoiu, Wasif Afzal, Kamal Zamli
Soft Computing Journal: A Fusion of Foundations, Methodologies and Applications (SOCO)

Model Testing of Complex Embedded Systems using EAST-ADL and Energy-Aware Mutations (Feb 2020)
Eduard Paul Enoiu, Cristina Seceleanu
MDPI Designs Journal (MDPI Designs)

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

Automated Test Generation using Model-Checking: An Industrial Evaluation (Nov 2014)
Eduard Paul Enoiu, Adnan Causevic, Thomas Ostrand, Elaine Weyuker, Daniel Sundmark, Paul Pettersson
International Journal on Software Tools for Technology Transfer (STTT)

A methodology for formal analysis and verification of EAST-ADL models (Jul 2013)
Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Pierre Yves Schnobbens , Paul Pettersson
Reliability Engineering & System Safety, vol. 120 (RE&SSvol120)

A Design Tool for Service-oriented Systems (May 2013)
Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Seceleanu
International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2012)

A Runtime Verification based Concurrency Bug Detector for FreeRTOS Embedded Software
Sara Abbaspour, Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Hans Hansson
Journal of IEEE Access (IEEE-Access)

Conference/Workshop Paper (66)

Automating Test Generation of Industrial Control Software through a PLC-to-Python Translation Framework and Pynguin (Feb 2024)
Mikael Ebrahimi Salari, Eduard Paul Enoiu, Cristina Seceleanu, Wasif Afzal
30th Asia-Pacific Software Engineering Conference (APSEC2023)

An Evaluation of General-Purpose Static Analysis Tools on C/C++ Test Code
Jean Malm, Eduard Paul Enoiu, Abu Naser Masud, Björn Lisper, Sigrid Eldh, Zoltan Porkolab
Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA2023)

Understanding Problem Solving in Software Testing: An Exploration of Tester Routines and Behavior (Sep 2023) -- Best Paper Award--
Eduard Paul Enoiu, Gregory Gay , Jameel Esber , Robert Feldt
IFIP-ICTSS 35th International Conference on Testing Software and Systems (ICTSS 2023)

Test Generation and Mutation Analysis of Energy Consumption using UPPAAL SMC and MATS (Aug 2023)
Jonatan Larsson , Eduard Paul Enoiu
The 7th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS 2023)

VeriDevOps Software Methodology: Security Verification and Validation for DevOps Practices (Jul 2023)
Eduard Paul Enoiu, Dragos Truscan , Andrey Sadovykh , Wissam Mallouli
The 18th International Conference on Availability, Reliability and Security (ARES 2023) (ARES 2023)

An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems (May 2023)
Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu
19th Workshop on Advances in Model Based Testing (A-MOST 2023)

An Empirical Evaluation of System-Level Test Effectiveness for Safety-Critical Software (Apr 2023)
Muhammad Nouman Zafar, Wasif Afzal, Eduard Paul Enoiu
18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2023)

Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems (Apr 2023)
Rong Gu, Eduard Paul Enoiu
19th Workshop on Advances in Model Based Testing (A-MOST 2023)

Requirement or Not, That is the Question: A Case from the Railway Industry (Apr 2023)
Sarmad Bashir, Muhammad Abbas, Mehrdad Saadatmand , Eduard Paul Enoiu, Markus Bohlin, Pernilla Lindberg
Requirements Engineering: Foundation for Software Quality (REFSQ 2023)

PyLC: A Framework for Transforming and Validating PLC Software using Python and Pynguin Test Generator (Apr 2023)
Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu
SAC2023, The 38th ACM/SIGAPP Symposium On Applied Computing (SAC 2023)

On the Current State of Academic Software Testing Education in Sweden (Mar 2023)
Ayodele Barrett, Eduard Paul Enoiu, Wasif Afzal
The 2nd Software Testing Education Workshop (ICST 2023)

Combining Model-Based Testing and Automated Analysis of Behavioural Models using GraphWalker and UPPAAL (Jan 2023)
Saurabh Tiwari, Kumar Iyer , Eduard Paul Enoiu
29th Asia-Pacific Software Engineering Conference (APSEC) (APSEC 2022)

Automation of the Creation and Execution of System Level Hardware-in-Loop Tests through Model-Based Testing (Nov 2022)
Viktor Aronsson Karlsson, Ahmed Almasri, Eduard Paul Enoiu, Wasif Afzal, Peter Charbachi
The 13th Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST'22)

SmartDelta: Automated Quality Assurance and Optimization in Incremental Industrial Software Systems Development (Sep 2022)
Mehrdad Saadatmand , Eduard Paul Enoiu, Bernd-Holger Schlingloff , Michael Felderer , Wasif Afzal
25th Euromicro Conference on Digital System Design (DSD) (DSD 2022)

Model-Based System Engineering Adoption in the Vehicular Systems Domain
Henrik Gustavsson, Eduard Paul Enoiu, Jan Carlson
7th Workshop on Model Driven Approaches in System Development (MDASD'22)

Choosing a Test Automation Framework for Programmable Logic Controllers in CODESYS Development Environment (May 2022)
Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu
NEXTA 2022 - 5th International Workshop on the Next Level of Test Automation (NEXTA)

Evaluating System-Level Test Generation for Industrial Software: A Comparison between Manual, Combinatorial and Model-Based Testing (Mar 2022)
Muhammad Nouman Zafar, Wasif Afzal, Eduard Paul Enoiu
The 3rd ACM/IEEE International Conference on Automation of Software Test 2022 (AST 2022)

Human-based Test Design versus Automated Test Generation: A Literature Review and Meta-Analysis (Feb 2022)
Ted Kurmaku , Eduard Paul Enoiu, Musa Kumrija
15th Innovations in Software Engineering Conference (ISEC 2022)

Specification of Passive Test Cases using an Improved T-EARS Language (Jan 2022)
Daniel Flemström, Wasif Afzal, Eduard Paul Enoiu
Software Quality Days (SWQD'21)

Model Checking Collision Avoidance of Nonlinear Autonomous Vehicle Models (Nov 2021)
Rong Gu, Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist
Formal Methods 2021 (FM'21)

Requirements-driven Reuse Recommendation (Sep 2021)
Muhammad Abbas, Mehrdad Saadatmand , Eduard Paul Enoiu
25th ACM International Systems and Software Product Line Conference (SPLC 2021)

Ethical AI-Powered Regression Test Selection (Aug 2021)
Per Erik Strandberg, Mirgita Frasheri , Eduard Paul Enoiu
International Conference On Artificial Intelligence Testing (AITest)

Towards a Workflow for Model-Based Testing of Embedded Systems (Aug 2021)
Muhammad Nouman Zafar, Wasif Afzal, Eduard Paul Enoiu
The 12th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST 2021)

Is Requirements Similarity a Good Proxy for Software Similarity? An Empirical Investigation in Industry (Apr 2021) -- Best Paper Award--
Muhammad Abbas, Alessio Ferrari , Anas Shatnawi , Eduard Paul Enoiu, Mehrdad Saadatmand
Requirements Engineering: Foundation for Software Quality (REFSQ 2021)

Assured Cloud Platforms for Industrial Cyber-Physical Systems: The ACICS Approach (Apr 2021)
Cristina Seceleanu, Eduard Paul Enoiu, Moris Behnam, Gabriele Capannini, Jan Carlson, Kristina Lundqvist, Séverine Sentilles
7th international Conference on the Engineering of Computer Based Systems (ECBS 2021)

Towards Human-Like Automated Test Generation: Perspectives from Cognition and Problem Solving (Mar 2021)
Eduard Paul Enoiu, Robert Feldt
International Conference on Cooperative and Human Aspects of Software Engineering 2021 (CHASE 2021)

Industrial Scale Passive Testing with T-EARS (Mar 2021) -- Best Paper Award--
Daniel Flemström, Henrik Jonsson, Eduard Paul Enoiu, Wasif Afzal
IEEE Conference on Software Testing, Validation and Verification 2021 (ICST 2021)

A Model-Based Test Script Generation Framework for Embedded Software (Feb 2021)
Muhammad Nouman Zafar, Wasif Afzal, Eduard Paul Enoiu, Athanasios Stratis , Ola Sellin
The 17th Workshop on Advances in Model Based Testing (A-MOST 2021)

Model-Based Testing in Practice: An Industrial Case Study using GraphWalker (Feb 2021)
Muhammad Nouman Zafar, Wasif Afzal, Eduard Paul Enoiu, Athanasios Stratis , Aitor Arrieta , Goiuria Sagardui
Innovations in Software Engineering Conference 2021 (ISEC 2021)

VeriDevOps (Feb 2021)
Andrey Sadovykh , Gunnar Widforss, Dragos Truscan , Eduard Paul Enoiu, Wissam Mallouli , Rosa Iglesias , Alessandra Bagnato , Olga Hendel
Design, Automation and Test in Europe Conference (DATE'21)

VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps (Dec 2020)
Andrey Sadovykh , Gunnar Widforss, Dragos Truscan , Eduard Paul Enoiu, Wissam Mallouli , Rosa Iglesias , Alessandra Bagnato , Olga Hendel
Design, Automation and Test in Europe Conference (DATE'21)

Automated Reuse Recommendation of Product Line Assets based on Natural Language Requirements (Dec 2020)
Muhammad Abbas, Mehrdad Saadatmand , Eduard Paul Enoiu, Daniel Sundmark, Claes Lindskog
Reuse in Emerging Software Engineering Practices (ICSR2020)

Towards a Model of Testers' Cognitive Processes: Software Testing as a Problem Solving Approach (Nov 2020)
Eduard Paul Enoiu, Gerald Tukseferi , Robert Feldt
IEEE International Workshop on Human and Social Aspects of Software Quality (HASQ 2020)

Probabilistic Mission Planning and Analysis for Multi-agent Systems (Oct 2020)
Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Kristina Lundqvist
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020)

Items per page: