Search the dblp DataBase
Javier Tuya :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
María José Suárez Cabal , Javier Tuya Medida de la cobertura de consultas SQL. [Citation Graph (0, 0)][DBLP ] ADIS, 2002, pp:- [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Generación de Pruebas Basada en Restricciones para Consultas SQL. [Citation Graph (, )][DBLP ] Pruebas en Ingeniería del Software (PRIS, 4ª edición). [Citation Graph (, )][DBLP ] A tabu search algorithm for structural software testing. [Citation Graph (, )][DBLP ] Query-aware shrinking test databases. [Citation Graph (, )][DBLP ] A tabu search algorithm for structural software testing. [Citation Graph (, )][DBLP ] Synchronous Estelle: Just Another Synchronous Language? [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.306secs