Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Pablo Abad' in GoogleThis author has not been identified. Look up 'Nazareno Aguirre' in GoogleThis author has not been identified. Look up 'Valeria S. Bengolea' in GoogleThis author has not been identified. Look up 'Daniel Ciolek' in GoogleThis author has not been identified. Look up 'Marcelo F. Frias' in GoogleThis author has not been identified. Look up 'Juan P. Galeotti' in GoogleThis author has not been identified. Look up 'Tom Maibaum' in GoogleThis author has not been identified. Look up 'Mariano M. Moscato' in GoogleThis author has not been identified. Look up 'Nicolás Rosner' in GoogleThis author has not been identified. Look up 'Ignacio Vissani' in Google

runs on WebDSL