The threat of attack faced by cyber-physical systems (CPSs), especially when they play a
critical role in automating public infrastructure, has motivated research into a wide variety of …

Finding bugs in commercial cyber-physical system development tools (or" model-based
design" tools) such as MathWorks's Simulink is important in practice, as these tools are …

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 …

Java projects are often built on top of various third-party libraries. If multiple versions of a
library exist on the classpath, JVM will only load one version and shadow the others, which …

Cyber-physical systems (CPSs) in critical infrastructure face a pervasive threat from
attackers, motivating research into a variety of countermeasures for securing them …

Fuzzing or fuzz testing is an established technique that aims to discover unexpected
program behavior (eg, bugs, security vulnerabilities, or crashes) by feeding automatically …

Cyber-Physical Systems (CPSs) are composed of computational control logic and physical
processes, which intertwine with each other. CPSs are widely used in various domains of …

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 …

Simulink compiler testing is important since all cyber-physical system (CPS) models are
required to be compiled by Simulink compiler. Current testing processes use CPS models …

In electronic design automation (EDA), printed circuit board (PCB) design plays a crucial
role. Ensuring the reliability of the PCB design tool chain is essential, as bugs in the tool …