BibSonomy :: author  ::

bookmarks

publications

(34)

• A controlled experiment on white-box database testing.
  Javier Tuya and José Javier Dolado and María José Suárez Cabal and Claudio de la Riva ACM SIGSOFT Software Engineering Notes 11 (2008)
  to dblp by dblp on 2008-05-07 00:00:00
  | URL | BibTeX  
• Diseño sistemático de pruebas para consultas XPath utilizando técnicas de partición.
  Claudio de la Riva and José García-Fanjul and Javier Tuya JISBD 99-108 (2006)
  to dblp by dblp on 2007-10-04 00:00:00
  | URL | BibTeX  
• A practical guide to SQL white-box testing.
  Javier Tuya and María José Suárez Cabal and Claudio de la Riva SIGPLAN Notices 41 36-41 (2006)
  to dblp by dblp on 2007-06-05 00:00:00
  | URL | BibTeX  
• Búsqueda Tabú para la generación de casos de prueba de cobertura de bucles.
  María Eugenia Díaz Fernández and Raquel Blanco and Javier Tuya JISBD 11-18 (2005)
  to dblp by dblp on 2007-03-25 00:00:00
  | URL | BibTeX  
• Automatic generation of assumptions for modular verification of software specifications.
  Claudio de la Riva and Javier Tuya Journal of Systems and Software 79 1324-1340 (2006)
  to dblp by dblp on 2007-03-01 00:00:00
  | URL | BibTeX  
• Mutating database queries.
  Javier Tuya and María José Suárez Cabal and Claudio de la Riva Information & Software Technology 49 398-417 (2007)
  to dblp by dblp on 2007-02-15 00:00:00
  | URL | BibTeX  
• Improvement of Test Data by Measuring SQL Statement Coverage.
  María José Suárez Cabal and Javier Tuya STEP 234-240 (2003)
  to dblp by dblp on 2007-01-10 00:00:00
  | URL | BibTeX  
• A Modular Tool for Automated Coverage in Software Testing.
  Eugenia Díaz and Javier Tuya and Raquel Blanco STEP 241-246 (2003)
  to dblp by dblp on 2007-01-10 00:00:00
  | URL | BibTeX  
• A Partition-Based Approach for XPath Testing.
  Claudio de la Riva and José García-Fanjul and Javier Tuya ICSEA 17 (2006)
  to dblp by dblp on 2006-12-22 00:00:00
  | URL | BibTeX  
• Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking.
  José García-Fanjul and Claudio de la Riva and Javier Tuya TAIC PART 127-130 (2006)
  to dblp by dblp on 2006-09-19 00:00:00
  | URL | BibTeX