Javier Tuya

2008
36	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Claudio de la Riva, Javier Tuya: Modular Model Checking of Software Specifications with Simultaneous Environment Generation. ATVA 2004: 369-383
25	EE	María José Suárez Cabal, Javier Tuya: Using an SQL coverage measurement for testing database applications. SIGSOFT FSE 2004: 253-262
24	EE	Miguel Riesco, Javier Tuya: Synchronous Estelle: Just Another Synchronous Language? Electr. Notes Theor. Comput. Sci. 88: 71-86 (2004)
2003
23	EE	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	EE	María José Suárez Cabal, Javier Tuya: Improvement of Test Data by Measuring SQL Statement Coverage. STEP 2003: 234-240
17	EE	Eugenia Díaz, Javier Tuya, Raquel Blanco: A Modular Tool for Automated Coverage in Software Testing. STEP 2003: 241-246
2002
16	EE	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	EE	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	EE	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	EE	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]
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]
7	José Antonio López Brugos	[10] [13]
8	María José Suárez Cabal	[15] [18] [19] [25] [29] [34] [36]
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]
12	José Ramón de Diego	[6] [7] [11] [20]
13	José Javier Dolado	[12] [35] [36]
14	María Eugenia Díaz Fernández	[28]
15	P. Fernández	[12]
16	Francisco J. Ferrer-Troyano	[12]
17	José García-Fanjul	[4] [5] [9] [31] [32] [33]
18	Angel Goitia	[9]
19	M. Goitia	[27]
20	Rachel Harrison	[12]
21	Marta Hermida	[10] [13]
22	A. Ruiz de Infante	[12]
23	R. Matilla	[12]
24	David Montes	[22]
25	Cristina Monteserín	[5]
26	Ángel Neira	[10] [13]
27	Faustino Obeso	[10] [13] [14] [22]
28	M. A. Prieto	[12]
29	Isabel Ramos	[12]
30	Miguel Riesco	[24]
31	Claudio de la Riva	[5] [6] [7] [11] [20] [26] [29] [30] [31] [32] [33] [34] [36]
32	D. Rodriguez-García	[12]
33	Luciano Sánchez	[1] [2] [3]
34	José Cristóbal Riquelme Santos	[12]
35	Manoranjan Satpathy	[12]
36	Ester Suárez-Calvo	[8]
37	Miguel Toro	[12]
38	R. Zurita	[2]

Colors in the list of coauthors