Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 16

Licentiate Thesis (2)

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

Applications of Optimization Methods in Industrial Maintenance Scheduling and Software Testing (Oct 2014)
Kivanc Doganay

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 Design Tool for Service-oriented Systems (May 2013)
Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Seceleanu
International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2012)

Conference/Workshop Paper (10)

Search-based testing for embedded telecom software with complex input structures (Sep 2014)
Kivanc Doganay, Sigrid Eldh, Wasif Afzal, Markus Bohlin
The 26th IFIP International Conference on Testing Software and Systems (ICTSS 2014)

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)

Handling multiple mode switch scenarios in component-based multi-mode systems (Dec 2013)
Hang Yin, Hans Hansson
The 20th Asia-Pacific Software Engineering Conference (APSEC2013)

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)

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)

Search Based Testing of Embedded Systems Implemented in IEC 61131-3: An Industrial Case Study (Mar 2013)
Kivanc Doganay, Markus Bohlin, Ola Sellin
International Conference on Software Testing, Verification and Validation (ICST) - Search-Based Software Testing (SBST)

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)

Monitoring and Testing with Case Observer Automata: An Industry Report (Mar 2011)
Anders Hessel
2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops

Report - MRTC (1)

Proceedings of the 23rd Nordic Workshop on Programming Theory (Oct 2011)
Paul Pettersson, Cristina Seceleanu

Manuscript (1)

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

Items per page: