@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} }