dblp.uni-trier.dewww.uni-trier.de

Javier Tuya Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
40EEJavier Tuya, María José Suárez Cabal, Claudio de la Riva: Query-aware shrinking test databases. DBTest 2009
39 Claudio de la Riva, Peter Hodgson, Ewout van Driel, Fergus Flaherty, Juan Garbajosa, Luis Fernández, Macario Polo, Javier Tuya: Pruebas en Ingeniería del Software (PRIS, 4ª edición). JISBD 2009: 427-427
38 Eugenia Díaz, Javier Tuya, Raquel Blanco, José Javier Dolado: A tabu search algorithm for structural software testing. JISBD 2009: 45-45
37 María José Suárez Cabal, Claudio de la Riva, Javier Tuya: Generación de Pruebas Basada en Restricciones para Consultas SQL. JISBD 2009: 9-20
2008
36EEJavier Tuya, José Javier Dolado, María José Suárez Cabal, Claudio de la Riva: A controlled experiment on white-box database testing. ACM SIGSOFT Software Engineering Notes 11(1): (2008)
35EEEugenia Díaz, Javier Tuya, Raquel Blanco, José Javier Dolado: A tabu search algorithm for structural software testing. Computers & OR 35(10): 3052-3072 (2008)
2007
34EEJavier Tuya, María José Suárez Cabal, Claudio de la Riva: Mutating database queries. Information & Software Technology 49(4): 398-417 (2007)
2006
33EEClaudio de la Riva, José García-Fanjul, Javier Tuya: A Partition-Based Approach for XPath Testing. ICSEA 2006: 17
32 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. JISBD 2006: 99-108
31EEJosé García-Fanjul, Claudio de la Riva, Javier Tuya: Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking. TAIC PART 2006: 127-130
30EEClaudio de la Riva, Javier Tuya: Automatic generation of assumptions for modular verification of software specifications. Journal of Systems and Software 79(9): 1324-1340 (2006)
29EEJavier Tuya, María José Suárez Cabal, Claudio de la Riva: A practical guide to SQL white-box testing. SIGPLAN Notices 41(4): 36-41 (2006)
2005
28 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. JISBD 2005: 11-18
27EEBelarmino Adenso-Díaz, Javier Tuya, M. Goitia: EDSS for the evaluation of alternatives in waste water collecting systems design. Environmental Modelling and Software 20(5): 639-649 (2005)
2004
26EEClaudio de la Riva, Javier Tuya: Modular Model Checking of Software Specifications with Simultaneous Environment Generation. ATVA 2004: 369-383
25EEMaría José Suárez Cabal, Javier Tuya: Using an SQL coverage measurement for testing database applications. SIGSOFT FSE 2004: 253-262
24EEMiguel Riesco, Javier Tuya: Synchronous Estelle: Just Another Synchronous Language? Electr. Notes Theor. Comput. Sci. 88: 71-86 (2004)
2003
23EEEugenia Díaz, Javier Tuya, Raquel Blanco: Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search. ASE 2003: 310-313
22 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. ICEIS (2) 2003: 197-201
21 Eugenia Díaz, Javier Tuya, Raquel Blanco: Pruebas automáticas de cobertura de software mediante una herramienta basada en Búsqueda Tabú. JISBD 2003: 283-292
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. JISBD 2003: 35-46
19 María José Suárez Cabal, Javier Tuya: Mejora de casos de prueba midiendo la cobertura de sentencias SQL. JISBD 2003: 451-462
18EEMaría José Suárez Cabal, Javier Tuya: Improvement of Test Data by Measuring SQL Statement Coverage. STEP 2003: 234-240
17EEEugenia Díaz, Javier Tuya, Raquel Blanco: A Modular Tool for Automated Coverage in Software Testing. STEP 2003: 241-246
2002
16EEEugenia 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. ADIS 2002
15EEMaría José Suárez Cabal, Javier Tuya: Medida de la cobertura de consultas SQL. ADIS 2002
2001
14 Eugenia Díaz, Javier Tuya, Faustino Obeso: A Knowledge-Acquisition Methodology for a Blast Furnace Expert System Using Machine Learning Techniques. ICEIS (1) 2001: 336-339
13EEJavier Tuya, Eugenia Díaz, Marta Hermida, José Antonio López Brugos, Ángel Neira, Alfredo Alguero, Faustino Obeso: An Expert System for Ironmaking. IEA/AIE 2001: 488-493
12 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. JISBD 2001: 131-144
11 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. JISBD 2001: 391-404
2000
10 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. ICEIS 2000: 222-226
9 Angel Goitia, José García-Fanjul, Javier Tuya, José A. Corrales: Building Internet Shops: Current Status of the Cities Project. ICEIS 2000: 529-530
8 Ester Suárez-Calvo, Javier Tuya: Verificación Formal del Sistema de Control de Acceso a Applicaciones Corporativas de la F.L.C. JISBD 2000: 21
7 Claudio de la Riva, Javier Tuya, José Ramón de Diego: Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno. JISBD 2000: 53-58
1999
6EEClaudio 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. Ershov Memorial Conference 1999: 493-502
5 José García-Fanjul, Cristina Monteserín, Claudio de la Riva, Javier Tuya: TIBLEUS: A Model to Build Internet Online Support Services Using ASP. ICEIS 1999: 619-625
4 José García-Fanjul, Javier Tuya, José A. Corrales: Verificación Formal del Subsistema de Identificación de Clientes en una Tienda Virtual. JISBD 1999: 169-170
1995
3 Javier Tuya, Luciano Sánchez, José A. Corrales: Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models. ESEC 1995: 59-75
1993
2 Javier Tuya, Luciano Sánchez, R. Zurita, José A. Corrales: A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification. ESEC 1993: 301-312
1EEJavier Tuya, E. Arias, Luciano Sánchez, José A. Corrales: Combination of Self-Organizing Maps and Multilayer Perceptrons for Speaker Independent Isolated Word Recognition. IWANN 1993: 550-555

Coauthor Index

1Belarmino Adenso-Díaz [27]
2Jesús S. Aguilar-Ruiz [12]
3Alfredo Alguero [10] [13]
4M. A. Álvarez [12]
5E. Arias [1]
6Raquel Blanco [17] [21] [22] [23] [28] [35] [38]
7José Antonio López Brugos [10] [13]
8María José Suárez Cabal [15] [18] [19] [25] [29] [34] [36] [37] [40]
9Mercedes Ruiz Carreira [12]
10José A. Corrales [1] [2] [3] [4] [9]
11Eugenia Díaz [10] [13] [14] [16] [17] [21] [22] [23] [35] [38]
12José Ramón de Diego [6] [7] [11] [20]
13José Javier Dolado [12] [35] [36] [38]
14Ewout van Driel [39]
15Luis Fernández [39]
16María Eugenia Díaz Fernández [28]
17P. Fernández [12]
18Francisco J. Ferrer-Troyano [12]
19Fergus Flaherty [39]
20Juan Garbajosa [39]
21José García-Fanjul [4] [5] [9] [31] [32] [33]
22Angel Goitia [9]
23M. Goitia [27]
24Rachel Harrison [12]
25Marta Hermida [10] [13]
26Peter Hodgson [39]
27A. Ruiz de Infante [12]
28R. Matilla [12]
29David Montes [22]
30Cristina Monteserín [5]
31Ángel Neira [10] [13]
32Faustino Obeso [10] [13] [14] [22]
33Macario Polo (Macario Polo Usaola) [39]
34M. A. Prieto [12]
35Isabel Ramos [12]
36Miguel Riesco [24]
37Claudio de la Riva [5] [6] [7] [11] [20] [26] [29] [30] [31] [32] [33] [34] [36] [37] [39] [40]
38D. Rodriguez-García [12]
39Luciano Sánchez [1] [2] [3]
40José Cristóbal Riquelme Santos [12]
41Manoranjan Satpathy [12]
42Ester Suárez-Calvo [8]
43Miguel Toro [12]
44R. Zurita [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)