17:05Testing Machine Learning Code using Polyhedral Region (Video, ESEC/FSE 2020)ACM SIGSOFT106 viewsView & Download
1:42Testing Machine Learning Code using Polyhedral Region (Teaser, ESEC/FSE 2020)ACM SIGSOFT24 viewsView & Download
1:56Machine Translation Testing via Pathological Invariance (Teaser, ESEC/FSE 2020)ACM SIGSOFT30 viewsView & Download
9:39Generalizable and Interpretable Learning for Configuration Extrapolation (ESEC/FSE 2021)Yi Ding112 viewsView & Download
23:01[POPL 2021] Verified Code Generation for the Polyhedral Model (full)ACM SIGPLAN492 viewsView & Download
13:22C 5.0 | Object Localization | Bounding Box Regression | CNN | Machine Learning | EvODNCogneethi45.4K viewsView & Download
1:44Model-Based Exploration of the Frontier of Behaviours for Deep Learning ... (Teaser, ESEC/FSE 2020)ACM SIGSOFT111 viewsView & Download
9:49PRODeep: A Platform for Robustness Verification of Deep Neural Networks (Video, ESEC/FSE 2020)ACM SIGSOFT155 viewsView & Download
9:49ESEC/FSE 2017 Tooldemo -- From Scenario Modeling to Scenario Programming [...]Joel Greenyer162 viewsView & Download