DMCA

Improving Test Generation under Rich Contracts by Tight Bounds and

Cached

Download Links

by Pablo Abad , Nazareno Aguirre , Valeria Bengolea , Daniel Ciolek , Marcelo F Frias , Juan Galeotti , Tom Maibaum , Mariano Moscato , Nicolás Rosner , Ignacio Vissani
Venue:Incremental SAT Solving,” in ICST, 2013
Citations:2 - 0 self