58 citations · 79 across the 5 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2023★ 6 cited
Finding Causally Different Tests for an Industrial Control System
Christopher M. Poskitt, Yuqi Chen, Jun Sun +1
Industrial control systems (ICSs) are types of cyber-physical systems in which programs, written in languages such as ladder logic or structured text, control industrial processes…
cs.SE2022★ 58 cited
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles
Yang Sun, Christopher M. Poskitt, Jun Sun +2
Autonomous driving systems (ADSs) must be tested thoroughly before they can be deployed in autonomous vehicles. High-fidelity simulators allow them to be tested against diverse sce…