Search Results for author: Rob Ashmore

Found 2 papers, 0 papers with code

Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges

no code implementations10 May 2019 Rob Ashmore, Radu Calinescu, Colin Paterson

Our paper provides a comprehensive survey of the state-of-the-art in the assurance of ML, i. e. in the generation of evidence that ML is sufficiently safe for its intended use.

BIG-bench Machine Learning

Testing Deep Neural Networks

no code implementations10 Mar 2018 Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore

In this paper, inspired by the MC/DC coverage criterion, we propose a family of four novel test criteria that are tailored to structural features of DNNs and their semantics.

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