Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving
Work
Year: 2013
Type: article
Authors Pablo Garrido Abad, Nazareno Aguirre, Valeria Bengolea, Daniel Ciolek, Marcelo F. Frias +5 more
Institutions Buenos Aires Institute of Technology, National University of Río Cuarto, Saarland University, McMaster University, University of Buenos Aires
Cites: 32
Cited by: 39
Related to: 10
FWCI: 2.572
Citation percentile (by year/subfield): 93.27
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Industry, innovation and infrastructure
Open Access status: closed