Pavol Bielik, Martin T. Vechev. Adversarial Robustness for Code. In Proceedings of the 37th International Conference on Machine Learning, ICML 2020, 13-18 July 2020, Virtual Event. Volume 119 of Proceedings of Machine Learning Research, pages 896-907, PMLR, 2020. [doi]
Abstract is missing.