[{"text":"\n\n\nBram Adams , Wolfgang De Meuter , Herman Tromp , Ahmed E. Hassan, Can we refactor conditional compilation into aspects?, Proceedings of the 8th ACM international conference on Aspect-oriented software development, March 02-06, 2009, Charlottesville, Virginia, USA   [doi>10.1145/1509239.1509274]\n\n","citation":"1509274","doi":"http://doi.acm.org/10.1145/1509239.1509274"},{"text":"\n\n\nGlenn Ammons , James R. Larus, Improving data-flow analysis with path profiles, Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, p.72-84, June 17-19, 1998, Montreal, Quebec, Canada   [doi>10.1145/277650.277665]\n\n","citation":"277665","doi":"http://doi.acm.org/10.1145/277650.277665"},{"text":"\n\n\nSven Apel , Christian Kästner , Armin Gröβlinger , Christian Lengauer, Type safety for feature-oriented product lines, Automated Software Engineering, v.17 n.3, p.251-300, September 2010   [doi>10.1007/s10515-010-0066-8]\n\n","citation":"1825332"},{"text":"\n\n\nSven Apel , Hendrik Speidel , Philipp Wendler , Alexander von Rhein , Dirk Beyer, Detection of feature interactions using feature-aware verification, Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering, p.372-375, November 06-10, 2011   [doi>10.1109/ASE.2011.6100075]\n\n","citation":"2190192"},{"text":"\n\n \nThomas Ball , Sriram K. Rajamani, Bebop: a path-sensitive interprocedural dataflow engine, Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, p.97-103, June 2001, Snowbird, Utah, USA   [doi>10.1145/379605.379690]\n\n","citation":"379690","doi":"http://doi.acm.org/10.1145/379605.379690"},{"text":"\n\n\nAndreas Classen , Patrick Heymans , Pierre-Yves Schobbens , Axel Legay , Jean-François Raskin, Model checking lots of systems: efficient verification of temporal properties in software product lines, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, May 01-08, 2010, Cape Town, South Africa   [doi>10.1145/1806799.1806850]\n\n","citation":"1806850","doi":"http://doi.acm.org/10.1145/1806799.1806850"},{"text":"\n\n\nSoftware product lines: practices and patterns, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2001 \n\n","citation":"501065"},{"text":"\n\n\nMichael D. Ernst , Greg J. Badros , David Notkin, An Empirical Analysis of C Preprocessor Use, IEEE Transactions on Software Engineering, v.28 n.12, p.1146-1170, December 2002   [doi>10.1109/TSE.2002.1158288]\n\n","citation":"631305"},{"text":"\n\n\nEduardo Figueiredo , Nelio Cacho , Claudio Sant'Anna , Mario Monteiro , Uira Kulesza , Alessandro Garcia , Sérgio Soares , Fabiano Ferrari , Safoora Khan , Fernando Castor Filho , Francisco Dantas, Evolving software product lines with aspects: an empirical study on design stability, Proceedings of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany   [doi>10.1145/1368088.1368124]\n\n","citation":"1368124","doi":"http://doi.acm.org/10.1145/1368088.1368124"},{"text":"\n\n\nRefactoring: improving the design of existing code, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999 \n\n","citation":"311424"},{"text":"\n\n\nChang Hwan Peter Kim , Don S. Batory , Sarfraz Khurshid, Reducing combinatorics in testing product lines, Proceedings of the tenth international conference on Aspect-oriented software development, March 21-25, 2011, Porto de Galinhas, Brazil   [doi>10.1145/1960275.1960284]\n\n","citation":"1960284","doi":"http://doi.acm.org/10.1145/1960275.1960284"},{"text":"\n\n\nNeil D. Jones , Carsten K. Gomard , Peter Sestoft, Partial evaluation and automatic program generation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993 \n\n","citation":"153676"},{"text":"\n\nK. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson. Feature-Oriented Domain Analysis (FODA) feasibility study. Technical report, Carnegie-Mellon University Software Engineering Institute, November 1990.\n\n"},{"text":"\n\nner(2010)}kastnerthesisC. Kastner. Virtual Separation of Concerns: Toward Preprocessors 2.0. PhD thesis, University of Magdeburg, Germany, May 2010.\n\n"},{"text":"\n\n\nC. Kastner , S. Apel, Type-Checking Software Product Lines - A Formal Approach, Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, p.258-267, September 15-19, 2008   [doi>10.1109/ASE.2008.36]\n\n","citation":"1642963"},{"text":"\n\n\nChristian Kästner , Sven Apel , Martin Kuhlemann, Granularity in software product lines, Proceedings of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany   [doi>10.1145/1368088.1368131]\n\n","citation":"1368131","doi":"http://doi.acm.org/10.1145/1368088.1368131"},{"text":"\n\n\nChristian Kästner , Paolo G. Giarrusso , Tillmann Rendel , Sebastian Erdweg , Klaus Ostermann , Thorsten Berger, Variability-aware parsing in the presence of lexical macros and conditional compilation, Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, October 22-27, 2011, Portland, Oregon, USA   [doi>10.1145/2048066.2048128]\n\n","citation":"2048128","doi":"http://doi.acm.org/10.1145/2048066.2048128"},{"text":"\n\n\nGary A. Kildall, A unified approach to global program optimization, Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.194-206, October 01-03, 1973, Boston, Massachusetts   [doi>10.1145/512927.512945]\n\n","citation":"512945","doi":"http://doi.acm.org/10.1145/512927.512945"},{"text":"\n\n\nChang Hwan Peter Kim , Eric Bodden , Don Batory , Sarfraz Khurshid, Reducing configurations to monitor in a software product line, Proceedings of the First international conference on Runtime verification, November 01-04, 2010, St. Julians, Malta \n\n","citation":"1939424"},{"text":"\n\n\nMaren Krone , Gregor Snelting, On the inference of configuration structures from source code, Proceedings of the 16th international conference on Software engineering, p.49-57, May 16-21, 1994, Sorrento, Italy \n\n","citation":"257742"},{"text":"\n\n\nJörg Liebig , Sven Apel , Christian Lengauer , Christian Kästner , Michael Schulze, An analysis of the variability in forty preprocessor-based software product lines, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, May 01-08, 2010, Cape Town, South Africa   [doi>10.1145/1806799.1806819]\n\n","citation":"1806819","doi":"http://doi.acm.org/10.1145/1806799.1806819"},{"text":"\n\n\nSungdo Moon , Mary W. Hall , Brian R. Murphy, Predicated array data-flow analysis for run-time parallelization, Proceedings of the 12th international conference on Supercomputing, p.204-211, July 1998, Melbourne, Australia   [doi>10.1145/277830.277874]\n\n","citation":"277874","doi":"http://doi.acm.org/10.1145/277830.277874"},{"text":"\n\n\nFlemming Nielson , Hanne R. Nielson , Chris Hankin, Principles of Program Analysis, Springer-Verlag New York, Inc., Secaucus, NJ, 1999 \n\n","citation":"555142"},{"text":"\n\n\nKlaus Pohl , Günter Böckle , Frank J. van der Linden, Software Product Line Engineering: Foundations, Principles and Techniques, Springer-Verlag New York, Inc., Secaucus, NJ, 2005 \n\n","citation":"1095605"},{"text":"\n\n\nH. Post , C. Sinz, Configuration Lifting: Verification meets Software Configuration, Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, p.347-350, September 15-19, 2008   [doi>10.1109/ASE.2008.45]\n\n","citation":"1642971"},{"text":"\n\n\nMárcio Ribeiro , Humberto Pacheco , Leopoldo Teixeira , Paulo Borba, Emergent feature modularization, Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, October 17-21, 2010, Reno/Tahoe, Nevada, USA   [doi>10.1145/1869542.1869545]\n\n","citation":"1869545","doi":"http://doi.acm.org/10.1145/1869542.1869545"},{"text":"\n\nH. Spencer and G. Collyer. #ifdef considered harmful, or portability experience with C news. In Proceedings of the Usenix Summer 1992 Technical Conference, pages 185--198, Berkeley, CA, USA, June 1992. Usenix Association.\n\n"},{"text":"\n\n\nRaja Vallée-Rai , Phong Co , Etienne Gagnon , Laurie Hendren , Patrick Lam , Vijay Sundaresan, Soot - a Java bytecode optimization framework, Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research, p.13, November 08-11, 1999, Mississauga, Ontario, Canada \n\n","citation":"782008"},{"text":"\n\n\nMark N. Wegman , F. Kenneth Zadeck, Constant propagation with conditional branches, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.2, p.181-210, April 1991   [doi>10.1145/103135.103136]\n\n","citation":"103136","doi":"http://doi.acm.org/10.1145/103135.103136"}]