Reinhard Tartler, Daniel Lohmann, Christian Dietrich 0001, Christoph Egger 0001, Julio Sincero. Configuration coverage in the analysis of large-scale system software. In Proceedings of the 6th Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011. ACM, 2011. [doi]
Abstract is missing.