Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving Conferences uri icon

  •  
  • Overview
  •  
  • Research
  •  
  • Identity
  •  
  • Additional Document Info
  •  
  • View All
  •  

authors

  • Abad, Pablo
  • Aguirre, Nazareno
  • Bengolea, Valeria
  • Ciolek, Daniel
  • Frias, Marcelo F
  • Galeotti, Juan
  • Maibaum, Thomas
  • Moscato, Mariano
  • Rosner, Nicolas
  • Vissani, Ignacio

publication date

  • March 2013