* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Thu 31 May 2018 14:40 - 15:00 at Congress Hall - Testing I Chair(s): Antonia Bertolino

In software and hardware testing, generating multiple inputs which satisfy a given set of constraints is an important problem with applications in fuzz testing and stimulus generation. However, it is a challenge to perform the sampling efficiently, while generating a diverse set of inputs which satisfy the constraints. We developed a new algorithm QuickSampler which requires a small number of solver calls to produce millions of samples which satisfy the constraints with high probability. We evaluate QuickSampler on large real-world benchmarks and show that it can produce unique valid solutions orders of magnitude faster than other state-of-the-art sampling tools, with a distribution which is reasonably close to uniform in practice.

Talk (quicksampler_talk.pdf)942KiB
Paper (quicksampler.pdf)780KiB

Thu 31 May
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30: Technical Papers - Testing I at Congress Hall
Chair(s): Antonia BertolinoCNR-ISTI
icse-2018-Journal-first-papers14:00 - 14:20
Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Ming WenThe Hong Kong University of Science and Technology, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Hongyu ZhangThe University of Newcastle
icse-2018-Technical-Papers14:20 - 14:40
Mike PapadakisUniversity of Luxembourg, Donghwan ShinKAIST, Shin YooKorea Advanced Institute of Science and Technology, Doo-Hwan BaeKorea Advanced Institute of Science and Technology
icse-2018-Technical-Papers14:40 - 15:00
Rafael DutraUC Berkeley, Kevin LaeuferUniversity of California, Berkeley, Jonathan Bachrach, Koushik SenUniversity of California, Berkeley
Link to publication DOI Media Attached File Attached
icse-2018-Journal-first-papers15:00 - 15:20
Shane McIntoshMcGill University, Yasutaka KameiKyushu University
icse-2018-Technical-Papers15:20 - 15:30