Current approaches to manufacturing must evolve to respond to increasing demands for
short product life cycles and customised products. Adaptive manufacturing systems integrate …

Mutation testing has been very actively investigated by researchers since the 1970s, and
remarkable advances have been achieved in its concepts, theory, technology, and empirical …

Safety compliance is paramount to the safe deployment of autonomous vehicle (AV)
technologies in real-world transportation systems. As AVs will share road infrastructures with …

Programmable Logic Controllers (PLCs) are the core unit of the production system, which
frequently need to implement new processes to address customer needs. These changes …

Function block diagram (FBD) is a standard programming language for programmable logic
controllers (PLCs). PLCs have been widely used to develop safety‐critical systems such as …

Abstract As Function Block Diagram (FBD) programs are used to implement safety-critical
systems such as nuclear reactor protection systems, it is crucial to generate effective test …

Abstract NuDE 2.0 (Nuclear Development Environment 2.0) is a formal-method-based
software development, verification and safety analysis environment for safety-critical digital …

Industrial cyber-physical systems require complex distributed software to orchestrate many
heterogeneous mechatronic components and control multiple physical processes. Industrial …

In engineering of safety critical systems, regulatory standards often put requirements on both
traceable specification-based testing, and structural coverage on program units. Automated …

To improve the effectiveness of test data generation during the software test, many studies
have focused on the automation of test data generation from UML diagrams. One of these …