Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Fri 31 May 2019 14:40 - 15:00 at Place du Canada - Testing of AI Systems Chair(s): Marija Mikic

Deep neural networks (DNNs) have been deployed in a wide range of applications, including mission-critical systems. We introduce a DNN testing and debugging tool, called DeepConcolic, which is able to detect errors with sufficient rigour so as to be applicable to the testing of DNNs in safety related applications. DeepConcolic is the first tool that implements a concolic testing technique for DNNs, and the first testing tool that provides users with the functionality of investigating particular parts of a DNN. The tool has been made publicly available and a demo video can be found at \url{https://youtu.be/rliynbhoNLM}.

Fri 31 May

Displayed time zone: Eastern Time (US & Canada) change

14:00 - 15:30
14:00
20m
Talk
CRADLE: Cross-Backend Validation to Detect and Localize Bugs in Deep Learning LibrariesTechnical Track
Technical Track
Viet Hung Pham University of Waterloo, Thibaud Lutellier , Weizhen Qi University of Science and Technology of China, Lin Tan Purdue University
Pre-print
14:20
20m
Talk
Guiding Deep Learning System Testing using Surprise AdequacyArtifacts AvailableArtifacts Evaluated ReusableResults ReproducedTechnical Track
Technical Track
Jinhan Kim KAIST, Robert Feldt Chalmers University of Technology, Shin Yoo Korea Advanced Institute of Science and Technology
Authorizer link Pre-print
14:40
20m
Talk
DeepConcolic: Testing and Debugging Deep Neural NetworksDemos
Demonstrations
Youcheng Sun University of Oxford, Xiaowei Huang University of Liverpool, Daniel Kroening University of Oxford, James Sharp Defence Science and Technology Laboratory (Dstl), Matthew Hill Defence Science and Technology Laboratory (Dstl), Rob Ashmore Defence Science and Technology Laboratory (Dstl)
15:00
10m
Talk
Towards Improved Testing For Deep LearningNIER
New Ideas and Emerging Results
Jasmine Sekhon University of Virginia, Cody Fleming University of Virginia
Pre-print
15:10
10m
Talk
Structural Coverage Criteria for Neural Networks Could Be MisleadingNIER
New Ideas and Emerging Results
Zenan Li Nanjing University, Xiaoxing Ma Nanjing University, Chang Xu Nanjing University, Chun Cao Nanjing University
Pre-print
15:20
10m
Talk
Robustness of Neural Networks: A Probabilistic and Practical PerspectiveNIER
New Ideas and Emerging Results
Ravi Mangal Georgia Institute of Technology, Aditya Nori , Alessandro Orso Georgia Tech