@conference {nadi.ea:2014:constraints,
	title = {Mining Configuration Constraints: Static Analyses and Empirical Results},
	booktitle = {36th International Conference on Software Engineering (ICSE{\textquoteright}14)},
	year = {2014},
	attachments = {http://gsd.uwaterloo.ca/sites/default/files/NADI_ICSE_14.pdf},
	author = {Sarah Nadi and Thorsten Berger and K{\"a}stner, Christian and Krzysztof Czarnecki}
}