Items where Author is "Kroening, Daniel"

Ruan, Wenjie and Wu, Min and Sun, Youcheng and Huang, Xiaowei and Kroening, Daniel and Kwiatkowska, Marta (2019) Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. In: Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), August 10-16, 2019, Macau, China :. IJCAI, pp. 5944-5952. ISBN 9780999241141

Sun, Youcheng and Wu, Min and Ruan, Wenjie and Huang, Xiaowei and Kwiatkowska, Marta and Kroening, Daniel (2018) Concolic testing for deep neural networks. In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018 :. Association for Computing Machinery (ACM), New York, pp. 109-119. ISBN 9781450359375