14 citations · 19 across the 5 of their papers we have counts for
6 papers
FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection
Jialuo Chen, Jingyi Wang, Xiyue Zhang +4
Due to the vast testing space, the increasing demand for effective and efficient testing of deep neural networks (DNNs) has led to the development of various DNN test case prioriti…
Drive: User-Controlled Autonomous Driving
Kun Wang, Christopher M. Poskitt, Yang Sun +4
Autonomous Vehicles (AVs) rely on sophisticated Autonomous Driving Systems (ADSs) to provide passengers a satisfying and safe journey. The individual preferences of riders plays a…
Towards Comprehensively Understanding the Run-time Security of Programmable Logic Controllers: A 3-year Empirical Study
Rongkuan Ma, Qiang Wei, Jingyi Wang +5
Programmable Logic Controllers (PLCs) are the core control devices in Industrial Control Systems (ICSs), which control and monitor the underlying physical plants such as power grid…
K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs
Kun Wang, Jingyi Wang, Christopher M. Poskitt +3
Programmable Logic Controllers (PLCs) are responsible for automating process control in many industrial systems (e.g. in manufacturing and public infrastructure), and thus it is cr…
Better Pay Attention Whilst Fuzzing
Shunkai Zhu, Jingyi Wang, Jun Sun +4
Fuzzing is one of the prevailing methods for vulnerability detection. However, even state-of-the-art fuzzing methods become ineffective after some period of time, i.e., the coverag…
RobOT: Robustness-Oriented Testing for Deep Learning Systems
Jingyi Wang, Jialuo Chen, Youcheng Sun +4
Recently, there has been a significant growth of interest in applying software engineering techniques for the quality assurance of deep learning (DL) systems. One popular direction…