Write a Blog >>
Fri 29 May 2020 11:30 - 11:50 at TBD6 - Symbolic Execution

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.

Fri 29 May

icse-2020-paper-presentations
10:50 - 12:30: Paper Presentations - Symbolic Execution at TBD6
icse-2020-papers10:50 - 11:10
Talk
Shengjian GuoBaidu X-Lab, Yueqi ChenThe Pennsylvania State University, Peng LiBaidu X-Lab, Yueqiang ChengBaidu Security, Huibo WangBaidu X-Lab, Meng WuAnt Financial, Zhiqiang ZuoNanjing University, China
icse-2020-papers11:10 - 11:30
Talk
Hengbiao YuNational University of Defense Technology, Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Xianjin FuNational University of Defense Technology, Ji WangSchool of Computer, National University of Defense Technology, China, Zhendong SuETH Zurich, Jun SunSingapore Management University, Singapore, Chun HuangNational University of Defense Technology, Wei DongSchool of Computer, National University of Defense Technology, China
Pre-print
icse-2020-papers11:30 - 11:50
Talk
Hui GuoUniversity of California, Davis, Cindy Rubio-GonzalezUniversity of California, Davis
Demonstrations11:50 - 12:00
Talk
Muhammad Ali GulzarUniversity of California, Los Angeles, Madan MusuvathiMicrosoft Research, Miryung KimUniversity of California, Los Angeles
Demonstrations12:00 - 12:10
Talk
Richard RutledgeGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech
icse-2020-papers12:10 - 12:30
Talk
Yannic NollerHumboldt-Universität zu Berlin, Corina S. PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center, Marcel BöhmeMonash University, Youcheng SunQueen's University Belfast, Hoang Lam NguyenHumboldt-Universität zu Berlin, Lars GrunskeHumboldt-Universität zu Berlin
Pre-print