CONFIGEN: A tool for managing configuration options
arXiv:1007.1023 · doi:10.4204/EPTCS.29.4
Abstract
This paper introduces CONFIGEN, a tool that helps modularizing software. CONFIGEN allows the developer to select a set of elementary components for his software through an interactive interface. Configuration files for use by C/assembly code and Makefiles are then automatically generated, and we successfully used it as a helper tool for complex system software refactoring. CONFIGEN is based on propositional logic, and its implementation faces hard theoretical problems.
In Proceedings LoCoCo 2010, arXiv:1007.0831