Pablo Abad, Nazareno Aguirre, Valeria S. Bengolea, Daniel Ciolek, Marcelo F. Frias, Juan P. Galeotti, Tom Maibaum, Mariano M. Moscato, Nicolás Rosner, Ignacio Vissani. Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Luxembourg, Luxembourg, March 18-22, 2013. pages 21-30, IEEE, 2013. [doi]
Abstract is missing.