APSEC 2022
Tue 6 - Fri 9 December 2022
Fri 9 Dec 2022 10:10 - 10:30 at Room3 - Testing Chair(s): Jihyun Lee

Floating-point numbers use limited precision to represent real numbers and have rounding errors, so floating-point calculations are inherently inaccurate. Revealing high floating-point errors is critical to software safety. Recently, two representative testing approaches, DEMC and ATOMU, have been proposed to find inputs triggering high floating-point errors in numerical programs. However, DEMC does not process the entire input domain and suffers from the high search cost, while ATOMU may get trapped in a local maximum. In this paper, we propose a novel approach that combines ranking analysis and search algorithms to detect high floating-point errors in numerical programs. The key idea is to use ranking analysis over the input domain to reduce search space quickly, and exploit search algorithms to find the inputs that may trigger high floating-point errors. We have implemented our approach and evaluated it on 88 numerical programs in GNU Numerical Library(GSL). The experimental results demonstrate our approach can find more high floating-point errors compare to ATOMU and DEMC. Moreover, our approach achieves 14x and 4x improvement in detecting higher floating-point errors compare to ATOMU and DEMC, respectively. As a black-box method, RADE achieves a 5.25x speedup compared to DEMC which is the state-of-the-art black-box method.

Fri 9 Dec

Displayed time zone: Osaka, Sapporo, Tokyo change

09:20 - 10:30
09:20
15m
Paper
On the Usefulness of Crossover in Search-Based Test Case Generation: An Industrial Report
SEIP - Software Engineering in Practice
Changze Huang Ant Group, Hailian Zhou Ant Group, Hongbing Zhao Ant Group, Wenting Cai Ant Group, Zhi Quan (George) Zhou University of Wollongong, Australia, Mingyue Jiang Zhejiang Sci-Tech University
09:35
15m
Paper
eBAT: An Efficient Automated Web Application Testing Approach Based on Tester’s Behavior
ERA - Early Research Achievements
Fuad Mridha University of Dhaka, Kazi Sakib Institute of Information Technology, University of Dhaka
09:50
20m
Paper
NumFuzz: A Floating-Point Format Aware Fuzzer for Numerical Programs
Technical Track
Chenghu Ma National University of Defense Technology, Liqian Chen National University of Defense Technology, China, Xin Yi National University of Defense Technology, Guangsheng Fan National University of Defense Technology, Ji Wang College of Computer, National University of Defense Technology
10:10
20m
Paper
Detecting High Floating-Point Errors via Ranking Analysis
Technical Track
Zheng Wang National University of Defense Technology, Xin Yi National University of Defense Technology, Hengbiao Yu National University of Defense Technology, Banghu Yin National University of Defense Technology