"Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps"
written by Susanne Rösch, Sebastian Ulewicz, Julien Provost, Birgit Vogel-Heuser,
published by Journal of Software Engineering and Applications, Vol.8 No.9, 2015
has been cited by the following article(s):
  • Google Scholar
  • CrossRef
[1] A modelling framework for automotive software design and optimal test path generation
Journal of Intelligent & Fuzzy Systems, 2018
[2] Increasing system test coverage in production automation systems
Control Engineering Practice, 2018
[3] Industrially Applicable System Regression Test Prioritization in Production Automation
2018
[4] Implementing Test Automation Framework Using Model-Based Testing Approach
Intelligent Computing and Information and Communication, 2018
[5] Composition of Modular Models for Verification of Distributed Automation Systems
2018
[6] Verifikation verteilter Automatisierungssysteme auf Basis einer Modellkomposition
at - Automatisierungstechnik, 2018
[7] Proposal of a Procedure for Automating an Industrial Process Using Petri Nets as a Formal Tool
2018
[8] Change analysis on evolving PLC software in automated production systems
at - Automatisierungstechnik, 2018
[9] Automatisierte Bestimmung von Eigenschaften industrieller Produktionssysteme unter Einfluss evolutionärer Änderungen
2018
[10] Unterstützte Testausführung für automatisierte Fertigungsanlagen durch Verknüpfung von Testmanagement und E-CAD sowie Einbindung von Augmented Reality
2018
[11] Computergestützte Verifikation von Medizingerätenetzwerken
2018
[12] A new approach to model-based test case generation for industrial automation systems
2017
[13] Synthesis and implementation of logic controllers–A review
Annual Reviews in Control, 2017
[14] Simulation of cyber-physical systems using IEC61499
MEMOCODE 2017 Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017
[15] Using plant model features to generate reduced test cases for programmable controllers
IFAC-PapersOnLine, 2017
[16] Model-based testing of automotive distributed systems with automated prioritization
2017
[17] Emulation of cyber-physical systems using IEC-61499
2017
[18] Cost Effective Model Based Regression Testing
2017
[19] Control flow models using Petri nets for model based testing
2017
[20] A Light-Weight Fault Injection Approach to Test Automated Production System PLC Software in Industrial Practice
Control Engineering Practice, 2017
[21] Automated test suite generation to test modular designed packaging machines using Fault Injection and a simulink-based simulation approach
2016
[22] A Systematic Review of Use Cases based Software Testing Techniques
International Journal of Software Engineering and Its Applications, 2016
[23] Guided semi-automatic system testing in factory automation
2016
[24] System regression test prioritization in factory automation: Relating functional system tests to the tested code using field data
2016
[25] Design-to-test: An approach to enhance testability of programmable controllers for critical systems—two case studies
2016
[26] Multiple Mutation Testing from FSM
Formal Techniques for Distributed Objects, Components, and Systems, 2016
[27] New Tool for Model-Based Testing using Petri nets and Constraint Programming
2016
[28] A verification-supported evolution approach to assist software application engineers in industrial factory automation
2016
[29] Design-to-test: an approach to enhance testability of programmable controllers for critical systems–two case studies
2016
[30] Design-to-test: an approach to enhance testability of programmable controllers for critical systems-two case studies
2016
[31] Framework and automated prioritization procedure for model-based testing of automotive distributed systems
Proceedings of the Dateso 2017 Workshop, 2016