Matthew Hill

DeepConcolic: Testing and Debugging Deep Neural Networks

Daniel Kroening, Xiaowei Huang, Youcheng Sun, 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).

Hit scrape click drag: analysis and application of compositional methods at the intersection of conserved and emergent technologies

Matthew Hill, M. Hill, 2007 .

"Boxing Clever": Practical Techniques for Gaining Insights into Training Data and Monitoring Distribution Shift

Matthew Hill, Rob Ashmore, Rob Ashmore, 2018, SAFECOMP Workshops.

after / image, sound design

Matthew Hill, 2013 .

Structural Test Coverage Criteria for Deep Neural Networks

Daniel Kroening, Xiaowei Huang, Youcheng Sun, 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).