Eduard Paul Enoiu, Associate Professor

E-mail:
eduard.paul.enoiu@mdh.se
Room:
U1-138
Division:
Division of Networked and Embedded Systems
Research groups:
Formal Modelling and Analysis of Embedded Systems
Software Testing Laboratory
Web:
Personal homepage



ABOUT ME: I am an Associate Professor at Mälardalen University in Västerås, Sweden, co-leading the Software Testing Laboratory and the Formal Modelling and Analysis groups. I studied computer engineering at the National University of Science and Technology POLITEHNICA in Bucharest and completed my PhD at Mälardalen University in 2016; I was promoted to Docent in Embedded Systems (Industrial Quality Assurance) in 2022.

My work sits at the intersection of software engineering, empirical research, human factors, quality assurance, and embedded systems. Recently, I have examined ethical and trust challenges that arise when AI-powered automation is used in software testing, focusing on responsibility, fairness, transparency, human control, explainability, and privacy. My research on preconceptions and biases shows where teams are most influenced by narratives and cognitive preferences when working with testing. I have modeled engineers’ routines as a cyclical problem-solving activity and extended this model to study how cultural understandings and ethical frameworks shape test practitioners. My research work benefits from sustained cooperation with Swedish and European companies, including access to teams and development environments.

Teaching and Supervision: I teach automated testing and model-based testing at the master’s and PhD levels and regularly work with industrial practitioners. At MDU I am course responsible for Model-Based Testing (DVA469), Automated Test Generation (DVA481), Software Verification and Validation (CDT414), and The Applied Science of Software Testing (DVA464). I supervise PhD, MSc, and BSc students. I advise bachelor's and master’s theses in all areas in which I actively conduct research.

PODCAST:  I host the podcast Testing Habits, a series of conversations on software testing, technology transfer, and engineering practice.

Research focus:  My research spans a wide range of topics in engineering, including requirements modelling and analysis, product line engineering, ethical and human aspects of software testing, and the role of automatic test generation, where tests are intelligently and algorithmically created, in industrial practice. I also focused on using model checking to engineer more reliable systems, validating and synthesizing autonomous systems, automating security validation in DevOps environments, and incremental quality assurance across software variants. Furthermore, my work investigates the application of artificial intelligence in software testing, including cognitive aspects of test design and optimizing testing strategies for efficiency and effectiveness.

Industry and projects:  A core part of my work is collaborative and applied. I have long-term collaborations with companies such as Alstom, ABB, and Volvo CE, and I have contributed to technology transfer through tools used in research and industry, including PyLC (AI-based testing), DRACONIS (static analysis), CompleTest (automated test generation), and SEAFOX (combinatorial testing). I have led or co-led funded projects such as SmartDelta and XIVT (ITEA3), as well as KKS and EU-funded initiatives, including DICREASE and VeriDevOps.


Project TitleStatus
A Digital Twin Framework for Dynamic and Robust Distributed Systems active
ACICS - Assured Cloud Platforms for Industrial Cyber-physical Systems finished
ADEPTNESS - Design-Operation Continuum Methods for Testing and Deployment under Unforeseen Conditions for Cyber-Physical Systems of Systems (Horizon 2020 Research and Innovation Framework Programme) finished
ARRAY - Automation Region Research Academy active
ATAC - Advanced Test Automation for Complex Software-Intensive System (ITEA2/Vinnova) finished
CEST - Commissioned Education in Software Testing active
FutureE finished
ITS-EASY Post Graduate School for Embedded Software and Systems finished
MegaMaRt2 - Megamodelling at Runtime (ECSEL/Vinnova) finished
MODEL-BASED ENGINEERING OF DIGITAL TWINS FOR EARLY VERIFICATION AND VALIDATION OF INDUSTRIAL SYSTEMS active
PROMPT - Professional Master’s in Software Engineering (step II) finished
PROMPT - Professional Master’s in Software Engineering (step II, phase B&C) finished
Q-Test: Startup Activities: Quality Increment in Embedded Electronic System Testing (Volvo CE APP) active
SmartDelta: Automated Quality Assurance and Optimization in Incremental Industrial Software Systems Development finished
Software Center active
Trustworthy and Human-Centered Test Automation finished
Trustworthy and Responsible AI-Centric Test Engineering active
VeriDevOps - Automated Protection and Prevention to Meet Security Requirements in DevOps Environments finished
XIVT - eXcellence in Variant Testing finished
PhD students supervised as main supervisor:

Jean Malm
Mikael Ebrahimi Salari

PhD students supervised as assistant supervisor:

Damir Bilic
Daniel Flemström (former)
Henrik Gustavsson
Muhammad Abbas Khan
Muhammad Nouman Zafar
Rong Gu (former)
Sarmad Bashir

MSc theses supervised (or examined):
Thesis TitleStatus
Improved testing using real and simulated systems available
Software Engineering, Embedded System Development and Software Testing available
An Evaluation of Model-based Testing in Industrial Practice: From System Modelling to Test Generation in progress
Combining Runtime Verification and Automated Test Generation for PLC Embedded Software in progress
Measuring Combinatorial Coverage of Manual Testing in progress
Test Generation For Digital Circuits – A Mapping Study on VHDL, Verilog and SystemVerilog in progress
A Model-based Test Generation Tool for Industrial Function Block Diagrams finished
A Mutation Analysis Framework for Simulink Models finished
A Study on Timed Base Choice Criteria for Testing Embedded Software finished
An Empirical Exploration in the Study of Software-Related Fatal Failures finished
AN EVALUATION OF MODEL-BASED TESTING FOR AN INDUSTRIAL TRAIN CONTROL SOFTWARE finished
Automated Test Case Generation for Function Block Diagrams using Java Path Finder and Symbolic Execution finished
Automated Test Generation for Structured Text Language using UPPAAL Model Checker finished
Combinatorial Modelling and Testing of PLC Software using ACTS finished
EFFICIENT FBD TEST GENERATION THROUGH PROGRAM SLICING finished
Evaluation of Structural Testing Effectiveness in Industrial Model-driven Software Development finished
Model Test Coverage Measurements in an Industrial Setting finished
Model-based Testing on Generated C Code finished
Modeling Product Line Variability in the Rail Vehicle Domain finished
On the Complexity Measurement of Industrial Control Software finished
On the Use of Base Choice Strategy for Testing Industrial Control Software finished
Pairwise Testing for PLC Embedded Software finished
Testing of Industrial Control Software: A Systematic Mapping Study finished