Javier Tuya

Ruben Casado, Javier Tuya, Muhammad Younas: A Family of Test Criteria for Web Services Transactions. Procedia CS 10: 880-887 (2012)

Raquel Blanco, Javier Tuya, Rubén V. Seco: Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach. ICST 2012: 71-80

Marcos Palacios, José García-Fanjul, Javier Tuya, George Spanoudakis: Identifying Test Requirements by Analyzing SLA Guarantee Terms. ICWS 2012: 351-358

Ruben Casado, Javier Tuya, Muhammad Younas: Testing the reliability of web services transactions in cooperative applications. SAC 2012: 743-748

Marcos Palacios, José García-Fanjul, Javier Tuya: Testing in Service Oriented Architectures with dynamic binding: A mapping study. Information & Software Technology 53(3): 171-189 (2011)

Ruben Casado, Javier Tuya, Muhammad Younas: A Framework to Test Advanced Web Services Transactions. ICST 2011: 443-446

Ruben Casado, Javier Tuya, Muhammad Younas: An Abstract Transaction Model for Testing the Web Services Transactions. ICWS 2011: 730-731

Javier Tuya, María José Suárez Cabal, Claudio de la Riva: Full predicate coverage for testing SQL database queries. Softw. Test., Verif. Reliab. 20(3): 237-288 (2010)

Marcos Palacios, José García-Fanjul, Javier Tuya, Claudio de la Riva: A Proactive Approach to Test Service Level Agreements. ICSEA 2010: 453-458

Raquel Blanco, Javier Tuya, Belarmino Adenso-Díaz: Automated test data generation using a Scatter Search approach. JISBD 2010: 299-299

Javier Tuya, María José Suárez Cabal, Claudio de la Riva: Herramientas para la evaluación de la cobertura de pruebas de aplicaciones con bases de datos. JISBD 2010: 301-304

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, 5ª ed.). JISBD 2010: 353

Ruben Casado, Javier Tuya, Muhammad Younas: Testing Long-Lived Web Services Transactions Using a Risk-Based Approach. QSIC 2010: 337-340

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)

María José Suárez Cabal, Javier Tuya: Structural Coverage Criteria for Testing SQL Queries. J. UCS 15(3): 584-619 (2009)

Raquel Blanco, José García-Fanjul, Javier Tuya: A First Approach to Test Case Generation for BPEL Compositions of Web Services Using Scatter Search. ICST Workshops 2009: 131-140

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

Eugenia Díaz, Javier Tuya, Raquel Blanco, José Javier Dolado: A tabu search algorithm for structural software testing. JISBD 2009: 45-45

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

Javier Tuya, María José Suárez Cabal, Claudio de la Riva: Query-aware shrinking test databases. DBTest 2009

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)

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)

Ana Moreira, María José Suárez Cabal, Claudio de la Riva, Javier Tuya (Eds.): XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), Gijón, Spain, October 7-10, 2008. Proceedings. 2008

Javier Tuya, María José Suárez Cabal, Claudio de la Riva: Mutating database queries. Information & Software Technology 49(4): 398-417 (2007)

José García-Fanjul, Javier Tuya, Claudio de la Riva: Generación sistemática de pruebas para composiciones de servicios utilizando criterios de suficiencia basados en transiciones. JISBD 2007: 95-104

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)

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)

Claudio de la Riva, José García-Fanjul, Javier Tuya: A Partition-Based Approach for XPath Testing. ICSEA 2006: 17

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

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

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)

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

Miguel Riesco, Javier Tuya: Synchronous Estelle: Just Another Synchronous Language? Electr. Notes Theor. Comput. Sci. 88: 71-86 (2004)

Claudio de la Riva, Javier Tuya: Modular Model Checking of Software Specifications with Simultaneous Environment Generation. ATVA 2004: 369-383

María José Suárez Cabal, Javier Tuya: Using an SQL coverage measurement for testing database applications. SIGSOFT FSE 2004: 253-262

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

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

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

María José Suárez Cabal, Javier Tuya: Mejora de casos de prueba midiendo la cobertura de sentencias SQL. JISBD 2003: 451-462

Eugenia Díaz, Javier Tuya, Raquel Blanco: Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search. ASE 2003: 310-313

María José Suárez Cabal, Javier Tuya: Improvement of Test Data by Measuring SQL Statement Coverage. STEP 2003: 234-240

Eugenia Díaz, Javier Tuya, Raquel Blanco: A Modular Tool for Automated Coverage in Software Testing. STEP 2003: 241-246

María José Suárez Cabal, Javier Tuya: Medida de la cobertura de consultas SQL. ADIS 2002

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

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

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

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, Daniel Rodríguez-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

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

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

Angel Goitia, José García-Fanjul, Javier Tuya, José A. Corrales: Building Internet Shops: Current Status of the Cities Project. ICEIS 2000: 529-530

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

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

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

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

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

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

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

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