Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Fri 31 May 2019 11:40 - 12:00 at Duluth - Fuzzing Chair(s): Marcel Böhme

We present grey-box concolic testing, a novel path-based test case generation method that combines the best of both white-box and grey-box fuzzing. At a high level, our technique systematically explores execution paths of a program under test as in white-box fuzzing, a.k.a. concolic testing, while not giving up the simplicity of grey-box fuzzing: it only uses a lightweight instrumentation, and it does not rely on an SMT solver. We implemented our technique in a system called Eclipser, and compared it to the state-of-the-art grey-box fuzzers (including AFLFast, LAF-intel, Steelix, and VUzzer) as well as a symbolic executor (KLEE). In our experiments, we achieved higher code coverage and found more bugs than the other tools.

Fri 31 May
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

11:00 - 12:30: Papers - Fuzzing at Duluth
Chair(s): Marcel BöhmeMonash University
icse-2019-Technical-Papers11:00 - 11:20
Wei YouPurdue University, Xuwei LiuZhejiang University, Shiqing MaPurdue University, USA, David Mitchel PerryPurdue University, Xiangyu ZhangPurdue University, Bin LiangRenmin University of China, China
icse-2019-Technical-Papers11:20 - 11:40
Junjie WangNanyang Technological University, Bihuan ChenFudan University, Lei WeiNanyang Technological University, Yang LiuNanyang Technological University, Singapore
icse-2019-Technical-Papers11:40 - 12:00
Jaeseung ChoiKAIST, Joonun JangSamsung Research, Samsung Electronics, Choongwoo HanNAVER Corporation, Sang Kil ChaKAIST
icse-2019-Technical-Papers12:00 - 12:20
Vaggelis AtlidakisColumbia University, Patrice GodefroidMicrosoft Research, Marina PolishchukMicrosoft
Link to publication
icse-2019-Paper-Presentations12:20 - 12:30