Rob Ashmore

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 11

Top Topics

Software Reliability

Set Of Test Cases

Evaluation Criteria

Top Venues

ICSE (Companion Volume)

ACM Trans. Embed. Comput. Syst.

Publications

Rob Ashmore, Andrew Howe, Rhiannon Chilton, Shamal Faily
Programming Language Evaluation Criteria for Safety-Critical Software in the Air Domain. ISSRE Workshops (2022)
Rob Ashmore, Alec Banks
The Utility of Neural Network Test Coverage Measures. SafeAI@AAAI (2021)
Rob Ashmore, Radu Calinescu, Colin Paterson
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges. ACM Comput. Surv. 54 (5) (2021)
Rob Ashmore, James Sharp
Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware. SAFECOMP (2020)
Alec Banks, Rob Ashmore
Requirements Assurance in Machine Learning. SafeAI@AAAI (2019)
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
DeepConcolic: testing and debugging deep neural networks. ICSE (Companion Volume) (2019)
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
Structural test coverage criteria for deep neural networks. ICSE (Companion Volume) (2019)
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
Structural Test Coverage Criteria for Deep Neural Networks. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Rob Ashmore, Radu Calinescu, Colin Paterson
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges. CoRR (2019)
Rob Ashmore, Matthew Hill
"Boxing Clever": Practical Techniques for Gaining Insights into Training Data and Monitoring Distribution Shift. SAFECOMP Workshops (2018)
Kate Gill, Rob Ashmore
Opportunities and Challenges of Third-Party Sustainment of Critical Software in Dependable Systems. DSN Workshops (2017)
Rob Ashmore
The Utility and Practicality of Quantifying Software Reliability. CoRR (2014)