Generating Realistic Unrestricted Adversarial Inputs using Dual-Objective GAN Training. - Isaac Dunn; Tom Melham; Daniel Kroening (CoRR, 2019)

Semantic Adversarial Perturbations using Learnt Representations. - Isaac Dunn; Tom Melham; Daniel Kroening (CoRR, 2020)

Exposing previously undetectable faults in deep neural networks. - Isaac Dunn; Hadrien Pouget; Daniel Kroening; Tom Melham (ISSTA, 2021)

Testing deep image classifiers using generative machine learning. - Isaac Dunn (2022)