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 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 31 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:30 | Testing IJournal first papers / Technical Papers at Congress Hall Chair(s): Antonia Bertolino CNR-ISTI | ||
14:00 20mTalk | ChangeLocator: Locate Crash-Inducing Changes Based on Crash Reports Journal first papers Rongxin Wu Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Ming Wen The Hong Kong University of Science and Technology, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Hongyu Zhang The University of Newcastle | ||
14:20 20mTalk | Are Mutation Scores Correlated with Real Fault Detection? A Large Scale Empirical study on the Relationship Between Mutants and Real Faults Technical Papers Mike Papadakis University of Luxembourg, Donghwan Shin KAIST, Shin Yoo Korea Advanced Institute of Science and Technology, Doo-Hwan Bae Korea Advanced Institute of Science and Technology Pre-print | ||
14:40 20mTalk | Efficient Sampling of SAT Solutions for Testing Technical Papers Rafael Dutra UC Berkeley, Kevin Laeufer University of California, Berkeley, Jonathan Bachrach , Koushik Sen University of California, Berkeley Link to publication DOI Media Attached File Attached | ||
15:00 20mTalk | Are Fix-Inducing Changes a Moving Target? A Longitudinal Case Study of Just-In-Time Defect Prediction Journal first papers Pre-print | ||
15:20 10mTalk | Q&A in groups Technical Papers |