@book{UBHD-68091289,
  author={Dong, Zhen},
  title={Diagnosing software configuration errors via static snalysis},
  address={Heidelberg},
  year={2017},
  pages={1 Online-Ressource (xvi, 116 Seiten)},
  language={eng},
  school={Dissertation,  Ruperto-Carola University of Heidelberg,  2017},
  doi={10.11588/heidok.00022581},
  keywords={Softwarekonfiguration},
  url={https://nbn-resolving.org/urn:nbn:de:bsz:16-heidok-225817},
  library={UB},
}
@book{UBHD-68090531,
  author={Dong, Zhen},
  organization={Universit{\"a}t Heidelberg},
  title={Diagnosing software configuration errors via static analysis},
  address={Heidelberg},
  year={2017},
  pages={xvi, 116 Seiten},
  language={eng},
  school={Dissertation,  Ruperto-Carola University of Heidelberg,  2017},
  keywords={Softwarekonfiguration},
  library={UB [Signatur: 2017 U 135] ; MA [Signatur: Diss. Dong]},
}
@conference{UBHD-67588727,
  author={Dong, Zhen and Ghanavati, Mohammadreza and Andrzejak, Artur},
  title={Automated diagnosis of software misconfigurations based on static analysis},
  year={2013},
  pages={162-168},
  language={eng},
  doi={10.1109/ISSREW.2013.6688897},
}
@conference{UBHD-67588728,
  author={Ghanavati, Mohammadreza and Andrzejak, Artur and Dong, Zhen},
  title={Scalable isolation of failure-inducing changes via version comparison},
  year={2013},
  pages={150-156},
  language={eng},
  doi={10.1109/ISSREW.2013.6688895},
}