Javier Tuya

	2009
42		Javier Tuya, María José Suárez Cabal, Claudio de la Riva: Query-aware shrinking test databases. DBTest 2009
41		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
40		Eugenia Díaz, Javier Tuya, Raquel Blanco, José Javier Dolado: A tabu search algorithm for structural software testing. JISBD 2009: 45-45
39		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
38		Raquel Blanco, Javier Tuya, Belarmino Adenso-Díaz: Automated test data generation using a scatter search approach. Information & Software Technology 51(4): 708-720 (2009)
37		María José Suárez Cabal, Javier Tuya: Structural Coverage Criteria for Testing SQL Queries. J. UCS 15(3): 584-619 (2009)
	2008
36		Javier 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)
35		Eugenia 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
34		Javier Tuya, María José Suárez Cabal, Claudio de la Riva: Mutating database queries. Information & Software Technology 49(4): 398-417 (2007)
	2006
33		Claudio 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
31		José 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
30		Claudio 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)
29		Javier 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
27		Belarmino 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
26		Claudio de la Riva, Javier Tuya: Modular Model Checking of Software Specifications with Simultaneous Environment Generation. ATVA 2004: 369-383
25		María José Suárez Cabal, Javier Tuya: Using an SQL coverage measurement for testing database applications. SIGSOFT FSE 2004: 253-262
24		Miguel Riesco, Javier Tuya: Synchronous Estelle: Just Another Synchronous Language? Electr. Notes Theor. Comput. Sci. 88: 71-86 (2004)
	2003
23		Eugenia 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
18		María José Suárez Cabal, Javier Tuya: Improvement of Test Data by Measuring SQL Statement Coverage. STEP 2003: 234-240
17		Eugenia Díaz, Javier Tuya, Raquel Blanco: A Modular Tool for Automated Coverage in Software Testing. STEP 2003: 241-246
	2002
16		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. ADIS 2002
15		Marí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
13		Javier 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
6		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. 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
1		Javier 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

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

Colors in the list of coauthors