Managing computer projects : R Gibson Prentice Hall International (UK) (1992) 161 pp £22.95 ISBN 0 13 159591 1. - Javier Tuya (Inf. Softw. Technol., 1992)

A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification. - Javier Tuya; Luciano Sánchez; R. Zurita; José A. Corrales (ESEC, 1993)

Combination of Self-Organizing Maps and Multilayer Perceptrons for Speaker Independent Isolated Word Recognition. - Javier Tuya; E. Arias; Luciano Sánchez; José A. Corrales (IWANN, 1993)

Information modelling: specification and implementation: D Edmond Prentice-Hall (1992) 590 pp £22.95 ISBN 0 13 457748 5. - Javier Tuya (Inf. Softw. Technol., 1993)

Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models. - Javier Tuya; Luciano Sánchez; José A. Corrales (ESEC, 1995)

Dynamic analysis of SA/RT models using Spin and modular verification. - Javier Tuya; José Ramón de Diego; Claudio de la Riva; José A. Corrales (The Spin Verification System, 1996)

Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker. - Claudio de la Riva; Javier Tuya; José Ramón de Diego (Ershov Memorial Conference, 1999)

TIBLEUS: A Model to Build Internet Online Support Services Using ASP. - José García-Fanjul; Cristina Monteserín; Claudio de la Riva; Javier Tuya (ICEIS, 1999)

Verificación Formal del Subsistema de Identificación de Clientes en una Tienda Virtual. - José García-Fanjul; Javier Tuya; José A. Corrales (JISBD, 1999)

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

An Architecture for On-Line Intelligent Control of Blast Furnaces. - Javier Tuya; Eugenia Díaz; Marta Hermida; José Antonio López Brugos; Ángel Neira; Alfredo Alguero; Faustino Obeso (ICEIS, 2000)

Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno. - Claudio de la Riva; Javier Tuya; José Ramón de Diego (JISBD, 2000)

Verificación Formal del Sistema de Control de Acceso a Applicaciones Corporativas de la F.L.C. - Ester Suárez-Calvo; Javier Tuya (JISBD, 2000)

A Knowledge-Acquisition Methodology for a Blast Furnace Expert System Using Machine Learning Techniques. - Eugenia Díaz; Javier Tuya; Faustino Obeso (ICEIS (1), 2001)

An Expert System for Ironmaking. - Javier Tuya; Eugenia Díaz; Marta Hermida; José Antonio López Brugos; Ángel Neira; Alfredo Alguero; Faustino Obeso (IEA/AIE, 2001)

Generación de Restricciones del Entorno para Verificación Modular Utilizando Reglas de Asociación. - Claudio de la Riva; Javier Tuya; José Ramón de Diego (JISBD, 2001)

SEGESOFT: Entorno de Entrenamiento para la Gestión de Proyectos Software. - José Cristóbal Riquelme Santos; Isabel Ramos 002; 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; et al. (JISBD, 2001)

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

Comparación de técnicas metaheurísticas para la generación automática de casos de prueba que obtengan una cobertura de software. - Eugenia Díaz; Javier Tuya (ADIS, 2002)

A Decision Support System for Preventing and Correcting Burden Slips, Drops and Hangs in a Blast Furnace. - David Montes; Javier Tuya; Eugenia Díaz; Raquel Blanco; Faustino Obeso (ICEIS (2), 2003)

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

Pruebas automáticas de cobertura de software mediante una herramienta basada en Búsqueda Tabú. - Eugenia Díaz; Javier Tuya; Raquel Blanco (JISBD, 2003)

Generación Automática y Paralela de Entornos en la Verificación de Componentes Software. - Claudio de la Riva; Javier Tuya; José Ramón de Diego (JISBD, 2003)

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

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

A Modular Tool for Automated Coverage in Software Testing. - Eugenia Díaz; Javier Tuya; Raquel Blanco (STEP, 2003)

Synchronous Estelle: Just Another Synchronous Language? - Miguel Riesco; Javier Tuya (SLAP, 2003)

Modular Model Checking of Software Specifications with Simultaneous Environment Generation. - Claudio de la Riva; Javier Tuya (ATVA, 2004)

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

Incorporating fuzzy approaches for production planning in complex industrial environments: the roll shop case. - Belarmino Adenso-Díaz; Ignacio González; Javier Tuya (Eng. Appl. Artif. Intell., 2004)

Búsqueda Tabú para la generación de casos de prueba de cobertura de bucles. - María Eugenia Díaz Fernández; Raquel Blanco; Javier Tuya (JISBD, 2005)

EDSS for the evaluation of alternatives in waste water collecting systems design. - Belarmino Adenso-Díaz; Javier Tuya; M. Goitia (Environ. Model. Softw., 2005)

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

Diseño sistemático de pruebas para consultas XPath utilizando técnicas de partición. - Claudio de la Riva; José García-Fanjul; Javier Tuya (JISBD, 2006)

Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking. - José García-Fanjul; Claudio de la Riva; Javier Tuya (TAIC PART, 2006)

Automatic generation of assumptions for modular verification of software specifications. - Claudio de la Riva; Javier Tuya (J. Syst. Softw., 2006)

A practical guide to SQL white-box testing. - Javier Tuya; María José Suárez-Cabal; Claudio de la Riva (ACM SIGPLAN Notices, 2006)

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

Mutating database queries. - Javier Tuya; María José Suárez-Cabal; Claudio de la Riva (Inf. Softw. Technol., 2007)

A tabu search algorithm for structural software testing. - Eugenia Díaz; Javier Tuya; Raquel Blanco; José Javier Dolado (Comput. Oper. Res., 2008)

A controlled experiment on white-box database testing. - Javier Tuya; José Javier Dolado; María José Suárez-Cabal; Claudio de la Riva (ACM SIGSOFT Softw. Eng. Notes, 2008)

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

Generación de Pruebas Basada en Restricciones para Consultas SQL. - María José Suárez-Cabal; Claudio de la Riva; Javier Tuya (JISBD, 2009)

Pruebas en Ingeniería del Software (PRIS, 4ª edición). - Claudio de la Riva; Peter Hodgson; Ewout van Driel; Fergus Flaherty; Juan Garbajosa; Luis Fernández; Macario Polo; Javier Tuya (JISBD, 2009)

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

Automated test data generation using a scatter search approach. - Raquel Blanco; Javier Tuya; Belarmino Adenso-Díaz (Inf. Softw. Technol., 2009)

Structural Coverage Criteria for Testing SQL Queries. - María José Suárez-Cabal; Javier Tuya (J. Univers. Comput. Sci., 2009)

Constraint-based test database generation for SQL queries. - Claudio de la Riva; María José Suárez-Cabal; Javier Tuya (AST, 2010)

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

Pruebas en Ingeniería del Software (PRIS, 5ª ed.). - Claudio de la Riva; Peter Hodgson; Ewout van Driel; Fergus Flaherty; Juan Garbajosa; Luis Fernández; Macario Polo; Javier Tuya (JISBD, 2010)

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

Testing Long-Lived Web Services Transactions Using a Risk-Based Approach. - Ruben Casado; Javier Tuya; Muhammad Younas 001 (QSIC, 2010)

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

A Framework to Test Advanced Web Services Transactions. - Ruben Casado; Javier Tuya; Muhammad Younas 001 (ICST, 2011)

An Abstract Transaction Model for Testing the Web Services Transactions. - Ruben Casado; Javier Tuya; Muhammad Younas 001 (ICWS, 2011)

Testing in Service Oriented Architectures with dynamic binding: A mapping study. - Marcos Palacios; José García-Fanjul; Javier Tuya (Inf. Softw. Technol., 2011)

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

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

Testing the reliability of web services transactions in cooperative applications. - Ruben Casado; Javier Tuya; Muhammad Younas 001 (SAC, 2012)

A Family of Test Criteria for Web Services Transactions. - Ruben Casado; Javier Tuya; Muhammad Younas 001 (ANT/MobiWIS, 2012)

Multi-dimensional criteria for testing web services transactions. - Rubén Casado; Muhammad Younas 001; Javier Tuya (J. Comput. Syst. Sci., 2013)

A Generic Framework for Testing the Web Services Transactions. - Rubén Casado; Muhammad Younas 001; Javier Tuya (Advanced Web Services, 2014)

MRTree: Functional Testing Based on MapReduce's Execution Behaviour. - Jesús Morán; Claudio de la Riva; Javier Tuya (FiCloud, 2014)

A test model for graph database applications: an MDA-based approach. - Raquel Blanco; Javier Tuya (A-TEST@SIGSOFT FSE, 2015)

Testing data transformations in MapReduce programs. - Jesús Morán; Claudio de la Riva; Javier Tuya (A-TEST@SIGSOFT FSE, 2015)

Bayesian concepts in software testing: an initial review. - Daniel Rodríguez-García; José Javier Dolado; Javier Tuya (A-TEST@SIGSOFT FSE, 2015)

Evaluating the effectiveness of the abstract transaction model in testing Web services transactions. - Rubén Casado; Javier Tuya; Muhammad Younas 001 (Concurr. Comput. Pract. Exp., 2015)

Automatic test case generation for WS-Agreements using combinatorial testing. - Marcos Palacios; José García-Fanjul; Javier Tuya; George Spanoudakis (Comput. Stand. Interfaces, 2015)

Coverage-Based Testing for Service Level Agreements. - Marcos Palacios; José García-Fanjul; Javier Tuya; George Spanoudakis (IEEE Trans. Serv. Comput., 2015)

A New Model for Testing CRUD Operations in a NoSQL Database. - María Teresa González-Aparicio; Muhammad Younas 001; Javier Tuya; Rubén Casado (AINA, 2016)

Infrastructure-Aware Functional Testing of MapReduce Programs. - Jesús Morán; Bibiano Rivas; Claudio de la Riva; Javier Tuya; Ismael Caballero 001; Manuel A. Serrano (FiCloud Workshops, 2016)

Towards an MDE-based approach to test entity reconciliation applications. - José Gonzalez Enríquez; Raquel Blanco; Francisco José Domínguez Mayo; Javier Tuya; María José Escalona Cuaresma (A-TEST@SIGSOFT FSE, 2016)

Coverage-Aware Test Database Reduction. - Javier Tuya; Claudio de la Riva; María José Suárez-Cabal; Raquel Blanco (IEEE Trans. Software Eng., 2016)

Towards Ex Vivo Testing of MapReduce Applications. - Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (QRS, 2017)

Incremental test data generation for database queries. - María José Suárez-Cabal; Claudio de la Riva; Javier Tuya; Raquel Blanco (Autom. Softw. Eng., 2017)

Transaction processing in consistency-aware user's applications deployed on NoSQL databases. - María Teresa González-Aparicio; Adewole Ogunyadeka; Muhammad Younas 001; Javier Tuya; Rubén Casado (Hum. centric Comput. Inf. Sci., 2017)

Leveraging Conceptual Data Models for Keeping Cassandra Database Integrity. - Pablo Suárez-Otero; María José Suárez-Cabal; Javier Tuya (WEBIST, 2018)

Testing of transactional services in NoSQL key-value databases. - María Teresa González-Aparicio; Muhammad Younas 001; Javier Tuya; Rubén Casado (Future Gener. Comput. Syst., 2018)

Early Integration Testing for Entity Reconciliation in the Context of Heterogeneous Data Sources. - Raquel Blanco; José Gonzalez Enríquez; Francisco José Domínguez Mayo; María José Escalona; Javier Tuya (IEEE Trans. Reliab., 2018)

Automatic Testing of Design Faults in MapReduce Applications. - Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (IEEE Trans. Reliab., 2018)

Test-Driven Anonymization for Artificial Intelligence. - Cristian Augusto; Jesús Morán; Claudio de la Riva; Javier Tuya (AITest, 2019)

RETORCH: Resource-Aware End-to-End Test Orchestration. - Cristian Augusto; Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (QUATIC, 2019)

Evaluation of ACE properties of traditional SQL and NoSQL big data systems. - María Teresa González-Aparicio; Muhammad Younas 001; Javier Tuya; Rubén Casado (SAC, 2019)

Debugging Flaky Tests on Web Applications. - Jesús Morán; Cristian Augusto; Antonia Bertolino; Claudio de la Riva; Javier Tuya (WEBIST, 2019)

Software defect prediction with zero-inflated Poisson models. - Daniel Rodríguez 001; José Javier Dolado; Javier Tuya; Dietmar Pfahl (CoRR, 2019)

Leveraging Conceptual Data Modelsto Ensure the Integrity of CassandraDatabases. - Pablo Suárez-Otero; María José Suárez-Cabal; Javier Tuya (J. Web Eng., 2019)

Testing MapReduce programs: A systematic mapping study. - Jesús Morán; Claudio de la Riva; Javier Tuya (J. Softw. Evol. Process., 2019)

Test-Driven Anonymization in Health Data: A Case Study on Assistive Reproduction. - Cristian Augusto; Miguel Angel Olivero; Jesús Morán; Leticia Morales; Claudio de la Riva; Javier Aroba; Javier Tuya (AITest, 2020)

Maintaining NoSQL Database Quality During Conceptual Model Evolution. - Pablo Suárez-Otero; Michael J. Mior; María José Suárez-Cabal; Javier Tuya (IEEE BigData, 2020)

FlakyLoc: Flakiness Localization for Reliable Test Suites in Web Applications. - Jesús Morán; Cristian Augusto; Antonia Bertolino; Claudio de la Riva; Javier Tuya (J. Web Eng., 2020)

RETORCH: an approach for resource-aware orchestration of end-to-end test cases. - Cristian Augusto; Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (Softw. Qual. J., 2020)

An Integrated Approach for Column-Oriented Database Application Evolution Using Conceptual Models. - Pablo Suárez-Otero; Michael J. Mior; María José Suárez-Cabal; Javier Tuya (ER (Workshops), 2021)

Guest editors' introduction to the special issue "Automatic Software Testing from the Trenches". - Breno Miranda; Javier Tuya; Alejandra Garrido 001 (J. Softw. Evol. Process., 2022)

Fault Localization for Reinforcement Learning. - Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (AITest, 2023)

Data migration in column family database evolution using MDE. - Pablo Suárez-Otero; Michael J. Mior; María José Suárez-Cabal; Javier Tuya (EDBT/ICDT Workshops, 2023)

MDICA: Maintenance of data integrity in column-oriented database applications. - María José Suárez-Cabal; Pablo Suárez-Otero; Claudio de la Riva; Javier Tuya (Comput. Stand. Interfaces, 2023)

A transaction platform for microservices-based big data systems. - María Teresa González-Aparicio; Muhammad Younas 001; Javier Tuya; Rubén Casado (Simul. Model. Pract. Theory, 2023)

Supplemental material for: Automatic Debugging of Design Faults in MapReduce applications. - Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (Zenodo, 2023)

Can gamification help in software testing education? Findings from an empirical study. - Raquel Blanco; Manuel Trinidad; María José Suárez-Cabal; Alejandro Calderón 002; Mercedes Ruiz 001; Javier Tuya (J. Syst. Softw., 2023)

Supplemental material for: Automatic Debugging of Design Faults in MapReduce applications. - Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (Zenodo, 2023)

CoDEvo: Column family database evolution using model transformations. - Pablo Suárez-Otero; Michael J. Mior; María José Suárez-Cabal; Javier Tuya (J. Syst. Softw., 2023)

Software System Testing Assisted by Large Language Models: An Exploratory Study. - Cristian Augusto; Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (ICTSS, 2024)

Automatic Debugging of Design Faults in MapReduce Applications. - Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (IEEE Trans. Software Eng., 2024)

Supplemental material for: Software System Testing assisted by Large Language Models: An Exploratory Study. - Cristian Augusto; Jesús Morán Barbón; Antonia Bertolino; Claudio de la Riva; Javier Tuya (Zenodo, 2024)

Data migration for column family database evolution. - Pablo Suárez-Otero; Michael J. Mior; María José Suárez-Cabal; Javier Tuya (Inf. Softw. Technol., 2025)

RETORCH*: A Cost and Resource aware Model for E2E Testing in the Cloud. - Cristian Augusto; Jesús Morán; Antonia Bertolino; Claudio de la Riva; Javier Tuya (J. Syst. Softw., 2025)