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
Automatic Test Generation for Industrial Control Software (Oct 2016) Eduard Paul Enoiu
Model Checking-Based Software Testing for Function Block Diagrams (Oct 2014) Eduard Paul Enoiu
Requirements Similarity and Retrieval (Jul 2024) Muhammad Abbas, Sarmad Bashir, Mehrdad Saadatmand , Eduard Paul Enoiu, Daniel Sundmark
Artificial Intelligence Techniques in System Testing (Jul 2023) Michael Felderer , Eduard Paul Enoiu, Sahar Tahvili Optimising the Software Development Process with Artificial Intelligence (Springer)
Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions (Jun 2024) Rong Gu, Eduard Baranov , Afshin Ameri E., Eduard Paul Enoiu, Baran Çürüklü, Cristina Seceleanu, Axel Legay , Kristina Lundqvist ACM Transactions on Software Engineering and Methodology (TOSEM)
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)
Unveiling Cognitive Biases in Software Testing: Insights from a Survey and Controlled Experiment (Dec 2024) Eduard Paul Enoiu, Alexandru Cusmaru , Jean Malm 31st Asia-Pacific Software Engineering Conference (APSEC 2024)
Optimizing Model-based Generated Tests: Leveraging Machine Learning for Test Reduction (Jul 2024) Muhammad Nouman Zafar, Wasif Afzal, Eduard Paul Enoiu, Zulqarnain Haider, Inderjeet Singh The 20th Workshop on Advances in Model Based Testing (A-MOST 2024)
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)
Model-Based System Engineering Adoption in the Vehicular Systems Domain (Oct 2022) Henrik Gustavsson, Eduard Paul Enoiu, Jan Carlson 7th Workshop on Model Driven Approaches in System Development (MDASD'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)
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)