Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Tue 7 Jul 2020 16:05 - 16:17 at Goguryeo - A5-Testing and Debugging 2 Chair(s): Marcelo d'Amorim

Floating point is widely used in software to emulate arithmetic over reals. Unfortunately, floating point leads to rounding errors that propagate and accumulate during execution. Generating inputs to maximize the numerical error is critical when evaluating the accuracy of floating-point code. In this paper, we formulate the problem of generating high error-inducing floating-point inputs as a code coverage maximization problem solved using symbolic execution. Specifically, we define inaccuracy checks to detect large precision loss and cancellation. We inject these checks at strategic program locations to construct specialized branches that, when covered by a given input, are likely to lead to large errors in the result. We apply symbolic execution to generate inputs that exercise these specialized branches, and describe optimizations that make our approach practical. We implement a tool named FPGen and present an evaluation on 21 numerical programs including matrix computation and statistics libraries. We show that FPGen exposes errors for 20 of these programs and triggers errors that are, on average, over 2 orders of magnitude larger than the state of the art.

Tue 7 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

16:05 - 17:05: A5-Testing and Debugging 2Paper Presentations / Demonstrations / New Ideas and Emerging Results / Technical Papers at Goguryeo
Chair(s): Marcelo d'AmorimFederal University of Pernambuco
16:05 - 16:17
Talk
Technical Papers
Hui GuoUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis
16:17 - 16:29
Talk
Technical Papers
Wing LamUniversity of Illinois at Urbana-Champaign, Kıvanç MuşluMicrosoft, Hitesh SajnaniMicrosoft , Suresh ThummalapentaMicrosoft
16:29 - 16:35
Talk
New Ideas and Emerging Results
Andriy MiranskyyRyerson University, Lei ZhangRyerson University, Javad DoliskaniRyerson University, Toronto, Canada
Pre-print
16:35 - 16:38
Talk
Demonstrations
Bruno LimaFaculty of Engineering, University of Porto and INESC TEC, João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC
16:38 - 16:50
Talk
Technical Papers
Valentin ManèsCSRC, KAIST, Soomin KimKAIST, Sang Kil ChaKAIST
16:50 - 16:53
Talk
Demonstrations
Richard RutledgeGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech
16:53 - 16:59
Talk
New Ideas and Emerging Results
Carl HildebrandtUniversity of Virginia, Sebastian ElbaumUniversity of Virginia, USA, Nicola BezzoUniversity of Virginia