Improving Test Generation under Rich Contracts by Tight Bounds and (0)

by P Abad, N Aguirre, V S Bengolea, D Ciolek, M F Frias, J P Galeotti, T Maibaum, M M Moscato, N Rosner, I Vissani
Venue:Incremental SAT Solving,” in ICST, 2013