Write a Blog >>
ESEC/FSE 2021
Thu 19 - Sat 28 August 2021 Clowdr Platform

Numerical computation is dominant in deep learning (DL) programs. Consequently, numerical bugs are one of the most prominent kinds of defects in DL programs. Numerical bugs can lead to exceptional values such as NaN (Not-a-Number) and INF (Infinite), which can be propagated and eventually cause crashes or invalid outputs. They occur when special inputs cause invalid parameter values at internal mathematical operations such as log(). In this paper, we propose the first dynamic technique, called GRIST, which automatically generates a small input that can expose numerical bugs in DL programs. GRIST piggy-backs on the built-in gradient computation functionalities of DL infrastructures. Our evaluation on 63 real-world DL programs shows that GRIST detects 78 bugs including 56 unknown bugs. By submitting them to the corresponding issue repositories, eight bugs have been confirmed and three bugs have been fixed. Moreover, GRIST can save 8.79X execution time to expose numerical bugs compared to running original programs with its provided inputs. Compared to the state-of-the-art technique DEBAR (which is a static technique), DEBAR produces 12 false positives and misses 31 true bugs (of which 30 bugs can be found by GRIST), while GRIST only misses one known bug in those programs and no false positive. The results demonstrate the effectiveness of GRIST.

Wed 25 Aug

Displayed time zone: Athens change

09:00 - 10:00
Testing—Analysis and Testing of Unconventional SoftwareResearch Papers +12h
Chair(s): Gregory Gay Chalmers and the University of Gothenburg
09:00
10m
Paper
Parallel Shadow Execution to Accelerate the Debugging of Numerical ErrorsArtifacts FunctionalArtifacts Available
Research Papers
Sangeeta Chowdhary Rutgers University, Santosh Nagarakatte Rutgers University
DOI
09:10
10m
Paper
Exposing Numerical Bugs in Deep Learning via Gradient Back-Propagation
Research Papers
Ming Yan Tianjin University, Junjie Chen Tianjin University, Xiangyu Zhang Purdue University, Lin Tan Purdue University, Gan Wang Tianjin University
DOI
09:20
10m
Paper
Metamorphic Testing of Datalog Engines
Research Papers
DOI
09:30
30m
Live Q&A
Q&A (Testing—Analysis and Testing of Unconventional Software)
Research Papers

21:00 - 22:00
Testing—Analysis and Testing of Unconventional SoftwareResearch Papers
Chair(s): Na Meng Virginia Tech
21:00
10m
Paper
Parallel Shadow Execution to Accelerate the Debugging of Numerical ErrorsArtifacts FunctionalArtifacts Available
Research Papers
Sangeeta Chowdhary Rutgers University, Santosh Nagarakatte Rutgers University
DOI
21:10
10m
Paper
Exposing Numerical Bugs in Deep Learning via Gradient Back-Propagation
Research Papers
Ming Yan Tianjin University, Junjie Chen Tianjin University, Xiangyu Zhang Purdue University, Lin Tan Purdue University, Gan Wang Tianjin University
DOI
21:20
10m
Paper
Metamorphic Testing of Datalog Engines
Research Papers
DOI
21:30
30m
Live Q&A
Q&A (Testing—Analysis and Testing of Unconventional Software)
Research Papers