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 …
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 …
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 …
Model-based testing
A Pretschner - Proceedings of the 27th international conference on …, 2005 - dl.acm.org
Model-based testing has become increasingly popular in recent years. Major reasons
include (1) the need for quality assurance for increasingly complex systems,(2) the emerging …
include (1) the need for quality assurance for increasingly complex systems,(2) the emerging …
Search-based testing of complex simulink models containing stateflow diagrams
A Windisch - 2009 31st International Conference on Software …, 2009 - ieeexplore.ieee.org
Model-based software design is constantly becoming more important and thus requiring
systematic model testing. Test case generation constitutes a critical activity that is cost …
systematic model testing. Test case generation constitutes a critical activity that is cost …
Combining model-based and combinatorial testing for effective test case generation
Model-based testing relies on the assumption that effective adequacy criteria can be defined
in terms of model coverage achieved by a set of test paths. However, such test paths are …
in terms of model coverage achieved by a set of test paths. However, such test paths are …
An integrated test generation tool for enhanced coverage of Simulink/Stateflow models
Simulink/Stateflow (SL/SF) is the primary modeling notation for the development of control
systems in automotive and aerospace industries. In model based testing, test cases derived …
systems in automotive and aerospace industries. In model based testing, test cases derived …
An enhanced test case selection approach for model-based testing: an industrial case study
In recent years, Model-Based Testing (MBT) has attracted an increasingly wide interest from
industry and academia. MBT allows automatic generation of a large and comprehensive set …
industry and academia. MBT allows automatic generation of a large and comprehensive set …