@inbook {25729,
	title = {Software Product Line Test Suite Reduction with Constraint Optimization},
	booktitle = {Software Technologies},
	volume = {743},
	year = {2017},
	pages = {68-87},
	publisher = {Springer International Publishing},
	organization = {Springer International Publishing},
	author = {Carlsson, Mats and Gotlieb, Arnaud and Marijan, Dusica},
	editor = {Cabello, Enrique and Cardoso, Jorge and Ludwig, Andr{\'e} and Leszek A. {Maciaszek} and van Sinderen, Marten}
}
