* 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

icse-2018-Technical-Papers
14:00 - 15:30: Technical Papers - Testing I at Congress Hall
Chair(s): Antonia BertolinoCNR-ISTI
icse-2018-Journal-first-papers152776800000014:00 - 14:20
Talk
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-Papers152776920000014:20 - 14:40
Talk
Mike PapadakisUniversity of Luxembourg, Donghwan ShinKAIST, Shin YooKorea Advanced Institute of Science and Technology, Doo-Hwan BaeKorea Advanced Institute of Science and Technology
Pre-print
icse-2018-Technical-Papers152777040000014:40 - 15:00
Talk
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-papers152777160000015:00 - 15:20
Talk
Shane McIntoshMcGill University, Yasutaka KameiKyushu University
Pre-print
icse-2018-Technical-Papers152777280000015:20 - 15:30
Talk