Investigating the Effects of T-Wise Interaction Sampling for Vulnerability Discovery in Highly-Configurable Software Systems
Tim Bächle, Erik Hofmayer, Christoph König, Tobias Pett and Ina Schaefer
Research Track – Regular
Pick Me: Judging Sample Quality with Binary Decision Diagrams
Tobias Heß, Aaron Molt, Sabrina Böhm, Sebastian Krieter and Thomas Thüm
Research Track – Regular
Exploring the Computational Complexity of Uniform Random Sampling and SAT Counting with Phase Transitions
Olivier Zeyen, Maxime Cordy, Gilles Perrouin and Mathieu Acher
Research Track – Regular
Speed Things Up: Leveraging GPU Processing Capabilities for Faster Sampling of Software Product Lines
Lennard Hettich, Johannes Stümpfle, Nasser Jazdi and Michael Weyrich
Research Track – Regular
Improving Deterministic BDD Compilation with Counting-Free Computation of Atomic Sets
Tobias Heß and Aaron Molt
Challenge Solutions Track – Short
Event Timeslots (1)
Thu. 04/09
-
11:00 - 12:30
