35 citations · 93 across the 12 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LG2021★ 35 cited
DNNV: A Framework for Deep Neural Network Verification
David Shriver, Sebastian Elbaum, Matthew B. Dwyer
Despite the large number of sophisticated deep neural network (DNN) verification algorithms, DNN verifier developers, users, and researchers still face several challenges. First, v…
cs.SE2021
Distribution-Aware Testing of Neural Networks Using Generative Models
Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa
The reliability of software that has a Deep Neural Network (DNN) as a component is urgently important today given the increasing number of critical applications being deployed with…