Configuration coverage in the analysis of large-scale system software.

Reinhard Tartler, Daniel Lohmann, Christian Dietrich, Christoph Egger, Julio Sincero

Browse the full SOSP paper archive.