Author of the publication

A comparison of product-based, feature-based, and family-based type checking.

, , , and . GPCE, page 115-124. ACM, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Presence-Condition Simplification in Highly Configurable Systems., , , , , and . ICSE (1), page 178-188. IEEE Computer Society, (2015)Toward variability-aware testing., , , , , , and . FOSD, page 1-8. ACM, (2012)Scalable analysis of variable software., , , , , and . ESEC/SIGSOFT FSE, page 81-91. ACM, (2013)Analysis Strategies for Configurable Systems.. University of Passau, Germany, (2016)Feature-interaction detection based on feature-based specifications., , , and . Computer Networks, 57 (12): 2399-2409 (2013)The PLA model: on the combination of product-line analyses., , , , and . VaMoS, page 14:1-14:8. ACM, (2013)Variability encoding: From compile-time to load-time variability., , , , and . J. Log. Algebraic Methods Program., 85 (1): 125-145 (2016)Feature-Aware Verification, , , , and . CoRR, (2011)Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines., , , , , , and . FASE, volume 9033 of Lecture Notes in Computer Science, page 84-99. Springer, (2015)Strategies for product-line verification: case studies and experiments., , , , and . ICSE, page 482-491. IEEE Computer Society, (2013)