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
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)
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 Systems 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
Proceedings of the 23rd Nordic Workshop on Programming Theory (Oct 2011) Paul Pettersson, Cristina Seceleanu
Model Checking-Based Software Testing for Function Block Diagrams (Nov 2013) Eduard Paul Enoiu