Eduard Paul Enoiu, Post Doc

• PhD Degree in Computer Engineering at Mälardalen University. Thesis: Automatic Test Generation for Industrial Control Software, Supervisors: Prof. Daniel Sundmark, Dr. Adnan Causevic, Prof. Paul Petterson, Thesis opponent: Prof. Mats Heimdahl, University of Minnesota. Industrial PhD Visit (40%) from 2014 to 2016 at Bombardier Transportation AB. Teaching and Research Visit (August-September 2015) at East China University of Science and Technology, China. 

• Licentiate of Technology in Computer Science, Mälardalen University, 2014.Thesis: Model Checking-Based Software Testing for Function Block Diagrams. Supervisors: Prof. Paul Petterson, Prof. Daniel Sundmark, Dr. Adnan Causevic. Thesis opponent: Prof. Mohammad Reza Mousavi, Halmstad University. Performed research in close collaboration with industry. Worked within a large international consortium on advanced test automation (December 2011 – December 2013). 

• Master of Science in Embedded Systems, Mälardalen University, 2011. Thesis: A Design Framework for Service-oriented Systems. Supervisors: Assoc. Prof. Cristina Seceleanu and Dr. Aida Causevic. Courses focused on embedded systems engineering and artificial intelligence.

• Engineer’s Degree in Computer Engineering, Politehnica University of Bucharest, 2009. Thesis: Efficient FPGA implementation of Reed Solomon encoding and decoding systems (only available in romanian language). Supervisor: Assoc. Prof. Stefan Stancescu. Courses focused on software engineering, digital design and verification, electronics, physics and mathematics.  

Advisor and Supervisor (Bachelor and Master Level Theses)

• Combinatorial Modelling and Testing of PLC Software using ACTS (BSc)

• A Model-based Test Generation Tool for Industrial Function Block Diagrams (BSc) - defended at University of the Balearic Islands.

• A Study on Timed Base Choice Criteria for Testing Embedded Software (BSc)

• An Empirical Exploration in the Study of Software-Related Fatal Failures (BSc)

• Evaluation of Structural Testing Effectiveness in Industrial Model-driven Software Development (MSc) - conducted at Ericsson

• Model Test Coverage Measurements in an Industrial Setting (MSc) - conducted at Bombardier Transportation.

• On the Use of Base Choice Strategy for Testing Industrial Control Software (BSc) 

• Pairwise Testing for PLC Embedded Software (BSc)

• Model-based Testing on Generated C Code (MSc)

• Automated Test Case Generation for Function Block Diagrams using Java Path Finder and Symbolic Execution (MSc)

• Automated Test Generation for Structured Text Language using UPPAAL Model Checker (MSc)

Automated Test Generation for Industrial and Safety-Critical Control Software

Automated test generation can be improved but software testers need to take caution in selecting generation objectives for automated testing, as well as establishing more effective test adequacy criteria. To achieve this, we should have a better view of what aspects of software testing affect test effectiveness. In this research we tried to decipher how automatic test generation works in industrial practice and how it can enable more efficient and effective software testing. Ultimately we want to use this knowledge to decode the complexities of testing software.

My collaborators in this work so far have included Daniel Sundmark, Paul Pettersson, Adnan Causevic, Robert Feldt, Thomas Ostrand, Elaine Weyuker, Kivanc Doganay, and Markus Bohlin.

Model-Based Analysis and Verification

Design models that can be introduced earlier in the development process provide a holistic system description that captures the structure and functionality of a software system, as well as related extra-functional information, e.g., timing properties and resource annotations. I was the coauthor on several studies that proposed efficient verification techniques, like model-checking, can be applied on high-level design artifacts to provide early information on the design and implementation of embedded software systems. 

Design and Analysis of Software and System Services

The recently introduced paradigm of Service-oriented Systems (SOS) provides the basis for dealing with software integration and composition, by exploiting loosely coupled and autonomous abstract modeling entities called services. I was the coauthor on two studies showing a novel modeling and analysis tool for service-oriented systems. The tool enables graphical modeling of service-based systems, within the resource-aware timed behavioral language.

Together with my colleagues I have developed a graphical environment where services can be composed as desired by the user, together with a textual service composition interface in which compositions can also be checked for correctness.

My collaborators in this work so far have included Aida Causevic, Raluca Marinescu and Cristina Seceleanu.

Modelling Error Correction and Detection Systems

In information theory and in hardware and software engineering, error detection and correction are techniques that enable reliable delivery of data over noisy communication channels. I was the coauthor on two studies showing a methodology for designing error detection and correction systems using a modeling language such that an engineer can automatically obtain a reliable digital design or software implementation. This methodology can be applied for implementing various circuits and software.

My collaborators in this work so far have included Stefan Stancescu, Lavinia Neagoe and Raluca Marinescu.