research
∙
08/01/2023
Artifact: Measuring and Mitigating Gaps in Structural Testing
The artifact used for evaluating the experimental results of Measuring a...
share
research
∙
07/29/2023
Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lessons Learned
Defining test oracles is crucial and central to test development, but ma...
research
∙
01/27/2023
PCV: A Point Cloud-Based Network Verifier
3D vision with real-time LiDAR-based point cloud data became a vital par...
research
∙
12/12/2022
A Brief Survey on Oracle-based Test Adequacy Metrics
Even though code coverage is a widespread and popular test adequacy metr...
research
∙
05/10/2022
White-box Testing of NLP models with Mask Neuron Coverage
Recent literature has seen growing interest in using black-box strategie...
research
∙
01/27/2022
Algorithm Selection for Software Verification using Graph Attention Networks
The field of software verification has produced a wide array of algorith...
research
∙
05/26/2021
DNNV: A Framework for Deep Neural Network Verification
Despite the large number of sophisticated deep neural network (DNN) veri...
research
∙
02/26/2021
Distribution-Aware Testing of Neural Networks Using Generative Models
The reliability of software that has a Deep Neural Network (DNN) as a co...
research
∙
04/08/2020
Optimal Runtime Verification of Finite State Properties over Lossy Event Streams
Monitoring programs for finite state properties is challenging due to hi...
research
∙
08/06/2019
Refactoring Neural Networks for Verification
Deep neural networks (DNN) are growing in capability and applicability. ...
research
∙
03/28/2019