Generating automated and online test oracles for simulink models with continuous and uncertain behaviors
Test automation requires automated oracles to assess test outputs. For cyber physical
systems (CPS), oracles, in addition to be automated, should ensure some key objectives:(i) …
systems (CPS), oracles, in addition to be automated, should ensure some key objectives:(i) …
Enabling model testing of cyber-physical systems
CA González, M Varmazyar, S Nejati… - Proceedings of the 21th …, 2018 - dl.acm.org
Applying traditional testing techniques to Cyber-Physical Systems (CPS) is challenging due
to the deep intertwining of software and hardware, and the complex, continuous interactions …
to the deep intertwining of software and hardware, and the complex, continuous interactions …
Test generation and test prioritization for simulink models with dynamic behavior
All engineering disciplines are founded and rely on models, although they may differ on
purposes and usages of modeling. Among the different disciplines, the engineering of Cyber …
purposes and usages of modeling. Among the different disciplines, the engineering of Cyber …
CyFuzz: A differential testing framework for cyber-physical systems development environments
Designing complex systems using graphical models in sophisticated development
environments is becoming de-facto engineering practice in the cyber-physical system (CPS) …
environments is becoming de-facto engineering practice in the cyber-physical system (CPS) …
Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification
Black-box testing has been extensively applied to test models of Cyber-Physical systems
(CPS) since these models are not often amenable to static and symbolic testing and …
(CPS) since these models are not often amenable to static and symbolic testing and …
Automatic generation of test system instances for configurable cyber-physical systems
Cyber-physical systems (CPSs) are ubiquitous systems that integrate digital technologies
with physical processes. These systems are becoming configurable to respond to the …
with physical processes. These systems are becoming configurable to respond to the …
Automated test suite generation for time-continuous simulink models
All engineering disciplines are founded and rely on models, although they may differ on
purposes and usages of modeling. Interdisciplinary domains such as Cyber Physical …
purposes and usages of modeling. Interdisciplinary domains such as Cyber Physical …
Evaluating model testing and model checking for finding requirements violations in Simulink models
Matlab/Simulink is a development and simulation language that is widely used by the Cyber-
Physical System (CPS) industry to model dynamical systems. There are two mainstream …
Physical System (CPS) industry to model dynamical systems. There are two mainstream …
[PDF][PDF] DeepFuzzSL: Generating models with deep learning to find bugs in the Simulink toolchain
Testing cyber-physical system (CPS) development tools such as MathWorks' Simulink is
very important as they are widely used in design, simulation, and verification of CPS models …
very important as they are widely used in design, simulation, and verification of CPS models …
Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge
SA Chowdhury, S Mohian, S Mehra… - Proceedings of the 40th …, 2018 - dl.acm.org
Cyber-physical system (CPS) development tool chains are widely used in the design,
simulation, and verification of CPS data-flow models. Commercial CPS tool chains such as …
simulation, and verification of CPS data-flow models. Commercial CPS tool chains such as …