@Conference{DBLP:conf/kbse/VierhauserGERH10,
  author    = {Michael Vierhauser and Paul Grünbacher and Alexander Egyed and Rick Rabiser and Wolfgang Heider},
  title     = {Flexible and scalable consistency checking on product line variability models},
  booktitle = {Proceedings of the 25th IEEE/ACM Int'l Conference on Automated Software Engineering, (ASE 2010), Antwerp, Belgium},
  year      = {2010},
  editor    = {Charles Pecheur and Jamie Andrews and Elisabetta Di Nitto},
  pages     = {63-72},
  publisher = {ACM},
  abstract  = {The complexity of product line variability models makes it hard to
	maintain their consistency over time regardless of the modeling approach
	used. Engineers thus need support for detecting and resolving inconsistencies.
	We describe experiences of applying a tool-supported approach for
	incremental consistency checking on variability models. Our approach
	significantly improves the overall performance and scalability compared
	to batch-oriented techniques and allows providing immediate feedback
	to modelers. It is extensible as new consistency constraints can
	easily be added. Furthermore, the approach is flexible as it is not
	limited to variability models and it also checks the consistency
	of the models with the underlying code base of the product line.
	We report the results of a thorough evaluation based on real-world
	product line models and discuss lessons learned.},
  doi       = {10.1145/1858996.1859009},
  file      = {:Conferences\\ASE 2010 - Flexible and Scalable Consistency Checking on Product Line Variability Models\\Flexible and Scalable Consistency Checking on Product Line Variability Models-preprint.pdf:PDF},
  isbn      = {978-1-4503-0116-9},
  keywords  = {FWF P21321, CD Lab ASE},
}