Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 29

Doctoral Thesis (1)

Automatic Test Generation for Industrial Control Software (Oct 2016)
Eduard Paul Enoiu

Licentiate Thesis (1)

Model Checking-Based Software Testing for Function Block Diagrams (Oct 2014)
Eduard Paul Enoiu

Journal article (2)

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)

Conference/Workshop Paper (18)

An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models (Oct 2017)
Raluca Marinescu, Predrag Filipovikj, Eduard Paul Enoiu, Jonatan Larsson , Cristina Seceleanu
29th Nordic Workshop on Programming Theory (NWPT'17)

Can Pairwise Testing Perform Comparably to Manually Handcrafted Testing Carried Out by Industrial Engineers? (Jul 2017)
Peter Charbachi, Linus Eklund , Eduard Paul Enoiu
International Workshop on Combinatorial Testing and its Applications (CTA'17)

Using Timed Base-Choice Coverage Criterion for Testing Industrial Control Software (Mar 2017)
Henning Bergström , Eduard Paul Enoiu
6th International Workshop on Combinatorial Testing (IWCT'17)

Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL (Mar 2017)
Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu, Daniel Sundmark
ICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'17)

A Comparative Study of Manual and Automated Testing for Industrial Control Software (Mar 2017)
Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson
International Conference on Software Testing, Verification and Validation (ICST 2017)

Mutation-Based Test Generation for PLC Embedded Software using Model Checking (Oct 2016) -- Best Paper Award--
Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Robert Feldt , Paul Pettersson
The International Conference on Testing Software and Systems (ICTSS)

A Study on Concurrency Bugs in an Open Source Software (Jun 2016)
Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson, Eduard Paul Enoiu
12th International Conference on Open Source Systems (OSS'16)

A Controlled Experiment in Testing of Safety-Critical Embedded Software (Apr 2016)
Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson
IEEE International Conference on Software Testing, Verification and Validation (ICST)

Statistical Analysis of Resource Usage of Embedded Systems Modeled in EAST-ADL (Jul 2015)
Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)

Enablers and Impediments for Collaborative Research in Software Testing: An Empirical Exploration (Aug 2014)
Eduard Paul Enoiu, Adnan Causevic
International Workshop on Long-term Industrial Collaboration on Software Engineering (WISE)

Using Logic Coverage to Improve Testing Function Block Diagrams (Nov 2013)
Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson
International Conference on Testing Software and Systems (ICTSS2013)

A Design Tool for Service-oriented Systems (May 2013)
Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Seceleanu
Proceedings of the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2012)

MOS: An Integrated Model-based and Search-based Testing Tool for Function Block Diagrams (May 2013)
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

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

ViTAL : A Verification Tool for EAST-ADL Models using UPPAAL PORT (Jul 2012)
Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Paul Pettersson
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems

Extending EAST-ADL for Modeling and Analysis of System’s Resource-Usage (Jul 2012)
Raluca Marinescu, Eduard Paul Enoiu
IEEE 36th Annual Computer Software and Applications Conference Workshops (COMPSACW)

A SysML Model for Code Correction and Detection Systems (May 2010)
Stefan Stancescu , Lavinia Neagoe , Raluca Marinescu, Eduard Paul Enoiu
In Proceedings of the 33rd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO10) IEEE Croatia Section,

UML Modeling in Design of Error Detection and Correction Circuits (May 2009)
Stefan Stancescu , Lavinia Neagoe , Raluca Marinescu, Eduard Paul Enoiu
In Proceedings of the 32rd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO09) IEEE Croatia

Report - MRTC (2)

An Industrial Study on Automated Test Generation and Manual Testing of IEC 61131-3 Software (Nov 2016)
Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson

Towards the Analysis and Verification of EAST-ADL Models using UPPAAL PORT (Mar 2012)
Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Paul Pettersson

Report (2)

Programming languages popularity and implications to testing programmable logic controllers (Mar 2015)
Eduard Paul Enoiu

Solving Sudoku with MATLAB (Mar 2011)
Raluca Marinescu, Eduard Paul Enoiu, Andrea Garcia , Ivan Castro

Manuscript (2)

Using Automated Test Generation to Improve Testing of Embedded PLC Software (Mar 2016)
Eduard Paul Enoiu

Model Checking-Based Software Testing for Function Block Diagrams (Nov 2013)
Eduard Paul Enoiu

Student Thesis (1)

A Design Framework for Service-oriented Systems (Jun 2011)
Eduard Paul Enoiu, Raluca Marinescu

Items per page: