Logotype Mälardalenn University

Staff

Eduard Paul Enoiu   
Eduard Paul Enoiu, PhD Student

E-mail:
Room:U1-198B
Phone:+46-21-101624
Research group:Software Testing Laboratory
PhD supervisor:Paul Pettersson
Web:Personal homepage
Official university homepage

Research    Publications    Projects    MSc theses   

Research interests  [ Show full biography ]

My current research interests include model-based testing with a focus on test automation, formal verification and model-driven engineering. More information about my research can be found here and my Google Scholar Citations page is here.

About me [ Contact me for more information or find me and my ramblings on twitter @eduardpaulenoiu]

I am a PhD Student of Software Testing at the Mälardalen University in Västerås, Sweden. Before starting the PhD studies, I studied Computer Engineering at the Polytechnic University of Bucharest, where I obtained an M.Sc. in Engineering. Also, I received an M.Sc. in Computer Science from Mälardalen University in 2011.

I am supervised by Paul Pettersson and Daniel Sundmark.

I am the co-author of the ViTAL Tool (analysis and verification of EAST-ADL models, dedicated to automotive embedded system design with focus on structural and functional modeling) and RESE IDE Tool (design tool that provides a graphical user interface for behaviour modelling of services).

I am responsible for the BOMBARDIER LABORATORY, which is used by researchers and students from Mälardalen University involved in the ATAC (Advanced Test Automation for Complex Software-Intensive System) research project.

Teaching Activities [ Courses and Lectures]

Research Notes, Presentations, Tutorials, and Posters [ Below are some of the research notes and presentations that I did both in my spare time and during my research. ]

  • Presentation ATAC Seminar: Automated Testing with Model Checkers: a Practical Approach June 2013
  • ADVANCED MODEL-BASED TEST AUTOMATION Poster - ESS-H May 2013
  • CMSBSE 2013 Presentation: MOS: An Integrated Model-based and Search-based Testing Tool for Function Block Diagrams May 2013

Responsibilities and Memberships [ Contact me for more information ]

I am:

I am/been involved in the following activities (as Reviewer):

  • International Workshop on Formal Engineering approaches to Software Components and Architectures
  • International Conference on Software Engineering Research, Management and Applications
  • Nordic Workshop on Programming Theory
  • Emerging Technologies and Factory Automation

    •  

    Latest publications [ Show all publications ]


    A Design Tool for Service-oriented Systems, Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Seceleanu, Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), p Volume 295, Pages 95, Elsevier, Electronic Notes in Theoretical Computer Science (ENCTS), Estonia, Editor(s):Barbora Buhnova, Lucia Happe and Jan Kofron, May, 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, 35th International Conference on Software Engineering (ICSE) - First International Workshop on Combining Modelling and Search-Based Software Engineering, IEEE , San Francisco, May, 2013

    Model-based Test Suite Generation for Function Block Diagrams using the UPPAAL Model Checker, Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson, International Conference on Software Testing, Verification and Validation (ICST) - Advances in Model Based Testing (A-MOST 2012), IEEE , Luxembourg, April, 2013
     

    Research projects

     


    Supervised BSc and MSc theses

     
    Research    Publications    Projects    MSc theses   
    • Mälardalen University |
    • Box 883 |
    • 721 23 Västerås/Eskilstuna |
    • 021-101300, 016-153600 |
    • webmaster |
    • Latest update: 2009.11.03