"Static extraction of program configuration options."

Ariel Rabkin, Randy H. Katz (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics