research
∙
05/27/2023
Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks
Block-based visual programming environments play an increasingly importa...
share
research
∙
06/13/2022
Specifying and Testing k-Safety Properties for Machine-Learning Models
Machine-learning models are becoming increasingly prevalent in our lives...
research
∙
02/09/2020
Importance-Driven Deep Learning System Testing
Deep Learning (DL) systems are key enablers for engineering intelligent ...
research
∙
02/07/2020
RAID: Randomized Adversarial-Input Detection for Neural Networks
In recent years, neural networks have become the default choice for imag...
research
∙
11/24/2019
DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning
Testing Deep Neural Network (DNN) models has become more important than ...
research
∙
02/15/2019