Search Results for author: Isaac Dunn

Found 3 papers, 0 papers with code

Exposing Previously Undetectable Faults in Deep Neural Networks

no code implementations1 Jun 2021 Isaac Dunn, Hadrien Pouget, Daniel Kroening, Tom Melham

Existing methods for testing DNNs solve the oracle problem by constraining the raw features (e. g. image pixel values) to be within a small distance of a dataset example for which the desired DNN output is known.

DNN Testing

Evaluating Robustness to Context-Sensitive Feature Perturbations of Different Granularities

no code implementations29 Jan 2020 Isaac Dunn, Laura Hanu, Hadrien Pouget, Daniel Kroening, Tom Melham

We cannot guarantee that training datasets are representative of the distribution of inputs that will be encountered during deployment.

Autonomous Driving

Adaptive Generation of Unrestricted Adversarial Inputs

no code implementations7 May 2019 Isaac Dunn, Hadrien Pouget, Tom Melham, Daniel Kroening

Neural networks are vulnerable to adversarially-constructed perturbations of their inputs.

Cannot find the paper you are looking for? You can Submit a new open access paper.