35 citations · 93 across the 12 of their papers we have counts for
3 papers · 1 filter
Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lessons Learned
Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer +2
Defining test oracles is crucial and central to test development, but manual construction of oracles is expensive. While recent neural-based automated test oracle generation techni…
A DPLL(T) Framework for Verifying Deep Neural Networks
Hai Duong, ThanhVu Nguyen, Matthew Dwyer
Deep Neural Networks (DNNs) have emerged as an effective approach to tackling real-world problems. However, like human-written software, DNNs can have bugs and can be attacked. To…
PCV: A Point Cloud-Based Network Verifier
Arup Kumar Sarker, Farzana Yasmin Ahmad, Matthew B. Dwyer
3D vision with real-time LiDAR-based point cloud data became a vital part of autonomous system research, especially perception and prediction modules use for object classification,…