76 citations · 94 across the 5 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.SE2023
Rethinking Diversity in Deep Neural Network Testing
Zi Wang, Jihye Choi, Ke Wang +1
Motivated by the success of traditional software testing, numerous diversity measures have been proposed for testing deep neural networks (DNNs). In this study, we propose a shift…
cs.AI2023
Efficient Symbolic Reasoning for Neural-Network Verification
Zi Wang, Somesh Jha, Krishnamurthy +1
The neural network has become an integral part of modern software systems. However, they still suffer from various problems, in particular, vulnerability to adversarial attacks. In…