@misc{indiciaef2d94ac0f3bc,
  title = {CONFIGEN: A tool for managing configuration options},
  author = {Emmanuel Ohayon and Matthieu Lemerre and Vincent David},
  year = {2010},
  doi = {10.4204/eptcs.29.4},
  url = {https://arxiv.org/abs/1007.1023},
  note = {Source identifier: 1007.1023}
}