@conference {71,
	title = {Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving},
	booktitle = {IEEE Sixth International Conference on Software Testing, Verification and Validation ICST 2013},
	year = {2013},
	month = {03/2013},
	publisher = {IEEE Computer Society},
	organization = {IEEE Computer Society},
	address = {Luxembourg},
	author = {Pablo Abad and Nazareno Aguirre and Valeria S. Bengolea and Daniel Ciolek and Frias, Marcelo F. and Juan Pablo Galeotti and Thomas S.E. Maibaum and Mariano M. Moscato and Nicol{\'a}s Rosner and Ignacio Vissani}
}