The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Javier Tuya: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. María José Suárez Cabal, Javier Tuya
    Medida de la cobertura de consultas SQL. [Citation Graph (0, 0)][DBLP]
    ADIS, 2002, pp:- [Conf]
  2. Eugenia Díaz, Javier Tuya
    Comparación de técnicas metaheurísticas para la generación automática de casos de prueba que obtengan una cobertura de software. [Citation Graph (0, 0)][DBLP]
    ADIS, 2002, pp:- [Conf]
  3. Claudio de la Riva, Javier Tuya
    Modular Model Checking of Software Specifications with Simultaneous Environment Generation. [Citation Graph (0, 0)][DBLP]
    ATVA, 2004, pp:369-383 [Conf]
  4. Claudio de la Riva, Javier Tuya, José Ramón de Diego
    Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1999, pp:493-502 [Conf]
  5. Javier Tuya, Luciano Sánchez, José A. Corrales
    Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models. [Citation Graph (0, 0)][DBLP]
    ESEC, 1995, pp:59-75 [Conf]
  6. Javier Tuya, Luciano Sánchez, R. Zurita, José A. Corrales
    A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification. [Citation Graph (0, 0)][DBLP]
    ESEC, 1993, pp:301-312 [Conf]
  7. Eugenia Díaz, Javier Tuya, Faustino Obeso
    A Knowledge-Acquisition Methodology for a Blast Furnace Expert System Using Machine Learning Techniques. [Citation Graph (0, 0)][DBLP]
    ICEIS (1), 2001, pp:336-339 [Conf]
  8. José García-Fanjul, Cristina Monteserín, Claudio de la Riva, Javier Tuya
    TIBLEUS: A Model to Build Internet Online Support Services Using ASP. [Citation Graph (0, 0)][DBLP]
    ICEIS, 1999, pp:619-625 [Conf]
  9. Angel Goitia, José García-Fanjul, Javier Tuya, José A. Corrales
    Building Internet Shops: Current Status of the Cities Project. [Citation Graph (0, 0)][DBLP]
    ICEIS, 2000, pp:529-530 [Conf]
  10. David Montes, Javier Tuya, Eugenia Díaz, Raquel Blanco, Faustino Obeso
    A Decision Support System for Preventing and Correcting Burden Slips, Drops and Hangs in a Blast Furnace. [Citation Graph (0, 0)][DBLP]
    ICEIS (2), 2003, pp:197-201 [Conf]
  11. Javier Tuya, Eugenia Díaz, Marta Hermida, José Antonio López Brugos, Ángel Neira, Alfredo Alguero, Faustino Obeso
    An Architecture for On-Line Intelligent Control of Blast Furnaces. [Citation Graph (0, 0)][DBLP]
    ICEIS, 2000, pp:222-226 [Conf]
  12. Javier Tuya, Eugenia Díaz, Marta Hermida, José Antonio López Brugos, Ángel Neira, Alfredo Alguero, Faustino Obeso
    An Expert System for Ironmaking. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 2001, pp:488-493 [Conf]
  13. Javier Tuya, E. Arias, Luciano Sánchez, José A. Corrales
    Combination of Self-Organizing Maps and Multilayer Perceptrons for Speaker Independent Isolated Word Recognition. [Citation Graph (0, 0)][DBLP]
    IWANN, 1993, pp:550-555 [Conf]
  14. Eugenia Díaz, Javier Tuya, Raquel Blanco
    Pruebas automáticas de cobertura de software mediante una herramienta basada en Búsqueda Tabú. [Citation Graph (0, 0)][DBLP]
    JISBD, 2003, pp:283-292 [Conf]
  15. María José Suárez Cabal, Javier Tuya
    Mejora de casos de prueba midiendo la cobertura de sentencias SQL. [Citation Graph (0, 0)][DBLP]
    JISBD, 2003, pp:451-462 [Conf]
  16. José García-Fanjul, Javier Tuya, José A. Corrales
    Verificación Formal del Subsistema de Identificación de Clientes en una Tienda Virtual. [Citation Graph (0, 0)][DBLP]
    JISBD, 1999, pp:169-170 [Conf]
  17. Claudio de la Riva, Javier Tuya, José Ramón de Diego
    Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno. [Citation Graph (0, 0)][DBLP]
    JISBD, 2000, pp:53-58 [Conf]
  18. José Cristóbal Riquelme Santos, Isabel Ramos, Jesús S. Aguilar-Ruiz, Francisco J. Ferrer-Troyano, Miguel Toro, José Javier Dolado, A. Ruiz de Infante, Javier Tuya, P. Fernández, M. A. Prieto, Mercedes Ruiz Carreira, D. Rodriguez-García, Manoranjan Satpathy, Rachel Harrison, R. Matilla, M. A. Álvarez
    SEGESOFT: Entorno de Entrenamiento para la Gestión de Proyectos Software. [Citation Graph (0, 0)][DBLP]
    JISBD, 2001, pp:131-144 [Conf]
  19. Claudio de la Riva, Javier Tuya, José Ramón de Diego
    Generación de Restricciones del Entorno para Verificación Modular Utilizando Reglas de Asociación. [Citation Graph (0, 0)][DBLP]
    JISBD, 2001, pp:391-404 [Conf]
  20. Claudio de la Riva, Javier Tuya, José Ramón de Diego
    Generación Automática y Paralela de Entornos en la Verificación de Componentes Software. [Citation Graph (0, 0)][DBLP]
    JISBD, 2003, pp:35-46 [Conf]
  21. Ester Suárez-Calvo, Javier Tuya
    Verificación Formal del Sistema de Control de Acceso a Applicaciones Corporativas de la F.L.C. [Citation Graph (0, 0)][DBLP]
    JISBD, 2000, pp:21- [Conf]
  22. María Eugenia Díaz Fernández, Raquel Blanco, Javier Tuya
    Búsqueda Tabú para la generación de casos de prueba de cobertura de bucles. [Citation Graph (0, 0)][DBLP]
    JISBD, 2005, pp:11-18 [Conf]
  23. Eugenia Díaz, Javier Tuya, Raquel Blanco
    Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search. [Citation Graph (0, 0)][DBLP]
    ASE, 2003, pp:310-313 [Conf]
  24. María José Suárez Cabal, Javier Tuya
    Using an SQL coverage measurement for testing database applications. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2004, pp:253-262 [Conf]
  25. José García-Fanjul, Claudio de la Riva, Javier Tuya
    Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking. [Citation Graph (0, 0)][DBLP]
    TAIC PART, 2006, pp:127-130 [Conf]
  26. Claudio de la Riva, José García-Fanjul, Javier Tuya
    A Partition-Based Approach for XPath Testing. [Citation Graph (0, 0)][DBLP]
    ICSEA, 2006, pp:17- [Conf]
  27. Eugenia Díaz, Javier Tuya, Raquel Blanco
    A Modular Tool for Automated Coverage in Software Testing. [Citation Graph (0, 0)][DBLP]
    STEP, 2003, pp:241-246 [Conf]
  28. María José Suárez Cabal, Javier Tuya
    Improvement of Test Data by Measuring SQL Statement Coverage. [Citation Graph (0, 0)][DBLP]
    STEP, 2003, pp:234-240 [Conf]
  29. Belarmino Adenso-Díaz, Javier Tuya, M. Goitia
    EDSS for the evaluation of alternatives in waste water collecting systems design. [Citation Graph (0, 0)][DBLP]
    Environmental Modelling and Software, 2005, v:20, n:5, pp:639-649 [Journal]
  30. Javier Tuya, María José Suárez Cabal, Claudio de la Riva
    Mutating database queries. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2007, v:49, n:4, pp:398-417 [Journal]
  31. Claudio de la Riva, Javier Tuya
    Automatic generation of assumptions for modular verification of software specifications. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2006, v:79, n:9, pp:1324-1340 [Journal]
  32. Javier Tuya, María José Suárez Cabal, Claudio de la Riva
    A practical guide to SQL white-box testing. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2006, v:41, n:4, pp:36-41 [Journal]
  33. Claudio de la Riva, José García-Fanjul, Javier Tuya
    Diseño sistemático de pruebas para consultas XPath utilizando técnicas de partición. [Citation Graph (0, 0)][DBLP]
    JISBD, 2006, pp:99-108 [Conf]

  34. Generación de Pruebas Basada en Restricciones para Consultas SQL. [Citation Graph (, )][DBLP]


  35. Pruebas en Ingeniería del Software (PRIS, 4ª edición). [Citation Graph (, )][DBLP]


  36. A tabu search algorithm for structural software testing. [Citation Graph (, )][DBLP]


  37. Query-aware shrinking test databases. [Citation Graph (, )][DBLP]


  38. A tabu search algorithm for structural software testing. [Citation Graph (, )][DBLP]


  39. Synchronous Estelle: Just Another Synchronous Language? [Citation Graph (, )][DBLP]


Search in 0.067secs, Finished in 0.069secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002