Login / Signup
Pablo Abad
Publication Activity (10 Years)
Years Active: 2009-2013
Publications (10 Years): 0
Top Topics
Boolean Satisfiability
Tight Bounds
Sat Solving
Test Generation
Top Venues
ICST
</>
Publications
</>
Pablo Abad
,
Nazareno Aguirre
,
Valeria S. Bengolea
,
Daniel Alfredo 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.
ICST
(2013)
Ana Cristina Murillo
,
Pablo Abad
,
José Jesús Guerrero
,
Carlos Sagüés
Improving topological maps for safer and robust navigation.
IROS
(2009)