@inproceedings{ICST-2013-AbadABCFGMMRV,
	author        = "Pablo Abad and Nazareno Aguirre and Valeria S. Bengolea and Daniel Ciolek and Marcelo F. Frias and Juan P. Galeotti and Thomas Stephen Edward Maibaum and Mariano M. Moscato and Nicolás Rosner and Ignacio Vissani",
	booktitle     = "{Proceedings of the Sixth IEEE International Conference on Software Testing, Verification and Validation}",
	doi           = "10.1109/ICST.2013.46",
	isbn          = "978-1-4673-5961-0",
	pages         = "21--30",
	publisher     = "{IEEE Computer Society}",
	title         = "{Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving}",
	year          = 2013,
}