BibTeX records: Pablo Abad

• > Home > Persons > Pablo Abad

@inproceedings{DBLP:conf/icst/AbadABCFGMMRV13,
  author       = {Pablo Abad and
                  Nazareno Aguirre and
                  Valeria S. Bengolea and
                  Daniel Alfredo Ciolek and
                  Marcelo F. Frias and
                  Juan P. Galeotti and
                  Tom Maibaum and
                  Mariano M. Moscato and
                  Nicol{\'{a}}s Rosner and
                  Ignacio Vissani},
  title        = {Improving Test Generation under Rich Contracts by Tight Bounds and
                  Incremental {SAT} Solving},
  booktitle    = {Sixth {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2013, Luxembourg, Luxembourg, March 18-22,
                  2013},
  pages        = {21--30},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICST.2013.46},
  doi          = {10.1109/ICST.2013.46},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/AbadABCFGMMRV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iros/MurilloAGS09,
  author       = {Ana Cristina Murillo and
                  Pablo Abad and
                  Jos{\'{e}} Jes{\'{u}}s Guerrero and
                  Carlos Sag{\"{u}}{\'{e}}s},
  title        = {Improving topological maps for safer and robust navigation},
  booktitle    = {2009 {IEEE/RSJ} International Conference on Intelligent Robots and
                  Systems, October 11-15, 2009, St. Louis, MO, {USA}},
  pages        = {3609--3614},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/IROS.2009.5354262},
  doi          = {10.1109/IROS.2009.5354262},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/iros/MurilloAGS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}