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
- How many papers do we publish at MRTC? May 2013
Responsibilities and Memberships [ Contact me for more information ]
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
[ 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|