Corina S. Pasareanu. SafeDNN: understanding and verifying neural networks (keynote). In Sinem Getir, Phu Nguyen, editors, A-TEST 2020: Proceedings of the 11th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, A-TEST@ESEC/SIGSOFT FSE 2020, Virtual Event, USA, November 8-9, 2020. pages 1, ACM, 2020. [doi]
Abstract is missing.