TypeChef: toward type checking #ifdef variability in C. - Andy Kenner; Christian Kästner; Steffen Haase; Thomas Leich (FOSD, 2010)