Fetching the paper…
Reading the bibliography…
Differential testing to solve the oracle problem has been applied in many scenarios where multiple supposedly equivalent implementations exist, such as multiple implementations of a C compiler.
Differential testing for software
William M McKeeman · 1998
Earlier work this paper cites.
Feature models, grammars, and propositional formulas
Don Batory · 2005
Earlier work this paper cites.
Verifying feature-based model templates against well-formedness OCL constraints
Krzysztof Czarnecki and Krzysztof Pietroszek · 2006
Earlier work this paper cites.
Controllable combinatorial coverage in grammar-based testing
Ralf Lämmel and Wolfram Schulte · 2006
Earlier work this paper cites.
Interaction testing of highly-configurable systems in the presence of constraints
Myra B. Cohen, Matthew B. Dwyer, and Jiangfan Shi · 2007
Earlier work this paper cites.
Randomized differential testing as a prelude to formal verification
Alex Groce, Gerard Holzmann, and Rajeev Joshi · 2007
Earlier work this paper cites.
Safe composition of product lines
Sahil Thaker, Don Batory, David Kitchin, and William Cook · 2007
Earlier work this paper cites.
Type-checking software product lines – A formal approach
Christian Kästner and Sven Apel · 2008
Earlier work this paper cites.
Dead or alive: Finding zombie features in the Linux kernel
Reinhard Tartler, Julio Sincero, Wolfgang Schröder-Preikschat, and Daniel Lohmann · 2009
Earlier work this paper cites.
Reasoning about edits to feature models
Thomas Thüm, Don Batory, and Christian Kästner · 2009
Earlier work this paper cites.
Automated analysis of feature models 20 years later: A literature review
David Benavides, Sergio Seguraa, and Antonio Ruiz-Cortés · 2010
Cited alongside, same era.
N-version disassembly: Differential testing of x86 disassemblers
Roberto Paleari, Lorenzo Martignoni, Giampaolo Fresi Roglia, and Danilo Bruschi · 2010
Cited alongside, same era.
Formal semantics of the Kconfig language
Steven She and Thorsten Berger · 2010
Cited alongside, same era.
The variability model of the Linux kernel
Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wąsowski, and Krzysztof Czarnecki · 2010
Cited alongside, same era.
Variability-aware parsing in the presence of lexical macros and conditional compilation
Christian Kästner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, and Thorsten Berger · 2011
Cited alongside, same era.
Feature consistency in compile-time-configurable system software: Facing the Linux 10,000 feature problem
Scalable analysis of variable software
Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel, Jens Dörre, and Christian Lengauer · 2013
Later among the works it cites.
Exploring variability-aware execution for testing plugin-based web applications
Hung Viet Nguyen, Christian Kästner, and Tien N. Nguyen · 2014
Later among the works it cites.
A classification and survey of analysis strategies for software product lines
Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, and Gunter Saake · 2014
Later among the works it cites.
Analysing the kconfig semantics and its analysis tools
Sascha El-Sharkawy, Adam Krafczyk, and Klaus Schmid · 2015
Later among the works it cites.
Morpheus: Variability-aware refactoring in the wild
Jörg Liebig, Andreas Janker, Florian Garbe, Sven Apel, and Christian Lengauer · 2015
Later among the works it cites.
Do #ifdefs influence the occurrence of vulnerabilities? an empirical study of the linux kernel
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Reinhard Tartler, Daniel Lohmann, Julio Sincero, and Wolfgang Schröder-Preikschat · 2011
Cited alongside, same era.
Finding and understanding bugs in C compilers
Xuejun Yang, Yang Chen, Eric Eide, and John Regehr · 2011
Cited alongside, same era.
Superc: Parsing all of c by taming the preprocessor
Paul Gazzillo and Robert Grimm · 2012
Cited alongside, same era.
A user survey of configuration challenges in Linux and eCos
Arnaud Hubaux, Yingfei Xiong, and Krzysztof Czarnecki · 2012
Cited alongside, same era.
Generating range fixes for software configuration
Yingfei Xiong, Arnaud Hubaux, Steven She, and Krzysztof Czarnecki · 2012
Cited alongside, same era.
Type checking annotation-based product lines
Christian Kästner, Sven Apel, Thomas Thüm, and Gunter Saake
Cited in the paper.
A variability-aware module system
Christian Kästner, Klaus Ostermann, and Sebastian Erdweg
Cited in the paper.
Gabriel Ferreira, Momin Malik, Christian Kästner, Juergen Pfeffer, and Sven Apel · 2016
Later among the works it cites.
A comparison of 10 sampling algorithms for configurable systems
Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Rohit Gheyi, and Sven Apel · 2016
Later among the works it cites.
On essential configuration complexity: Measuring interactions in highly-configurable systems
Jens Meinicke, Chu-Pan Wong, Christian Kästner, Thomas Thüm, and Gunter Saake · 2016
Later among the works it cites.
Discipline matters: Refactoring of preprocessor directives in the #ifdef hell
Flávio Medeiros, Márcio Ribeiro, Rohit Gheyi, Sven Apel, Christian Kästner, Bruno Ferreira, Luiz Carvalho, and Baldoino Fonseca · 2017
Closest in time.