activity
20162025
most citedAdversarial Sample Detection for Deep Neural Network through Model Mutation Testing

153 citations · 322 across the 21 of their papers we have counts for

collaborators
Showing 2022Show all

2 papers · 1 filter

cs.LG2022★ 1 cited

TESTSGD: Interpretable Testing of Neural Networks Against Subtle Group Discrimination

Mengdi Zhang, Jun Sun, Jingyi Wang +1

Discrimination has been shown in many machine learning applications, which calls for sufficient fairness testing before their deployment in ethic-relevant domains such as face reco…

cs.PL2022★ 14 cited

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…