Javier Tuya

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 33

Top Venues

Publications

Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
Automatic Debugging of Design Faults in MapReduce Applications. IEEE Trans. Software Eng. 50 (4) (2024)
Pablo Suárez-Otero, Michael J. Mior, María José Suárez Cabal, Javier Tuya
Data migration in column family database evolution using MDE. EDBT/ICDT Workshops (2023)
Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
Fault Localization for Reinforcement Learning. AITest (2023)
Raquel Blanco, Javier Tuya, Rubén V. Seco
Test adequacy evaluation for the user-database interaction: a specification-based approach. CoRR (2023)
Raquel Blanco, Manuel Trinidad, María José Suárez Cabal, Alejandro Calderón, Mercedes Ruiz, Javier Tuya
Can gamification help in software testing education? Findings from an empirical study. CoRR (2023)
Pablo Suárez-Otero, Michael J. Mior, María José Suárez Cabal, Javier Tuya
CoDEvo: Column family database evolution using model transformations. J. Syst. Softw. 203 (2023)
María José Suárez Cabal, Pablo Suárez-Otero, Claudio de la Riva, Javier Tuya
MDICA: Maintenance of data integrity in column-oriented database applications. Comput. Stand. Interfaces 83 (2023)
María Teresa González-Aparicio, Muhammad Younas, Javier Tuya, Rubén Casado
A transaction platform for microservices-based big data systems. Simul. Model. Pract. Theory 123 (2023)
Raquel Blanco, Manuel Trinidad, María José Suárez Cabal, Alejandro Calderón, Mercedes Ruiz, Javier Tuya
Can gamification help in software testing education? Findings from an empirical study. J. Syst. Softw. 200 (2023)
Breno Miranda, Javier Tuya, Alejandra Garrido
Guest editors' introduction to the special issue "Automatic Software Testing from the Trenches". J. Softw. Evol. Process. 34 (11) (2022)
Pablo Suárez-Otero, Michael J. Mior, María José Suárez Cabal, Javier Tuya
An Integrated Approach for Column-Oriented Database Application Evolution Using Conceptual Models. ER (Workshops) (2021)
Pablo Suárez-Otero, Michael J. Mior, María José Suárez Cabal, Javier Tuya
Maintaining NoSQL Database Quality During Conceptual Model Evolution. IEEE BigData (2020)
Jesús Morán, Cristian Augusto, Antonia Bertolino, Claudio de la Riva, Javier Tuya
FlakyLoc: Flakiness Localization for Reliable Test Suites in Web Applications. J. Web Eng. 19 (2) (2020)
Cristian Augusto, Miguel Angel Olivero, Jesús Morán, Leticia Morales, Claudio de la Riva, Javier Aroba, Javier Tuya
Test-Driven Anonymization in Health Data: A Case Study on Assistive Reproduction. AITest (2020)
Cristian Augusto, Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
RETORCH: an approach for resource-aware orchestration of end-to-end test cases. Softw. Qual. J. 28 (3) (2020)
Daniel Rodríguez, José Javier Dolado, Javier Tuya, Dietmar Pfahl
Software defect prediction with zero-inflated Poisson models. CoRR (2019)
Cristian Augusto, Jesús Morán, Claudio de la Riva, Javier Tuya
Test-Driven Anonymization for Artificial Intelligence. AITest (2019)
María Teresa González-Aparicio, Muhammad Younas, Javier Tuya, Rubén Casado
Evaluation of ACE properties of traditional SQL and NoSQL big data systems. SAC (2019)
Cristian Augusto, Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
RETORCH: Resource-Aware End-to-End Test Orchestration. QUATIC (2019)
Jesús Morán, Claudio de la Riva, Javier Tuya
Testing MapReduce programs: A systematic mapping study. J. Softw. Evol. Process. 31 (3) (2019)
Jesús Morán, Cristian Augusto, Antonia Bertolino, Claudio de la Riva, Javier Tuya
Debugging Flaky Tests on Web Applications. WEBIST (2019)
Pablo Suárez-Otero, María José Suárez Cabal, Javier Tuya
Leveraging Conceptual Data Modelsto Ensure the Integrity of CassandraDatabases. J. Web Eng. 18 (4-6) (2019)
Pablo Suárez-Otero, María José Suárez Cabal, Javier Tuya
Leveraging Conceptual Data Models for Keeping Cassandra Database Integrity. WEBIST (2018)
Raquel Blanco, José Gonzalez Enríquez, Francisco José Domínguez Mayo, María José Escalona, Javier Tuya
Early Integration Testing for Entity Reconciliation in the Context of Heterogeneous Data Sources. IEEE Trans. Reliab. 67 (2) (2018)
Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
Automatic Testing of Design Faults in MapReduce Applications. IEEE Trans. Reliab. 67 (3) (2018)
María Teresa González-Aparicio, Muhammad Younas, Javier Tuya, Rubén Casado
Testing of transactional services in NoSQL key-value databases. Future Gener. Comput. Syst. 80 (2018)
María José Suárez Cabal, Claudio de la Riva, Javier Tuya, Raquel Blanco
Incremental test data generation for database queries. Autom. Softw. Eng. 24 (4) (2017)
María Teresa González-Aparicio, Adewole Ogunyadeka, Muhammad Younas, Javier Tuya, Rubén Casado
Transaction processing in consistency-aware user's applications deployed on NoSQL databases. Hum. centric Comput. Inf. Sci. 7 (2017)
Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
Towards Ex Vivo Testing of MapReduce Applications. QRS (2017)
José Gonzalez Enríquez, Raquel Blanco, Francisco José Domínguez Mayo, Javier Tuya, María José Escalona Cuaresma
Towards an MDE-based approach to test entity reconciliation applications. A-TEST@SIGSOFT FSE (2016)
Jesús Morán, Bibiano Rivas, Claudio de la Riva, Javier Tuya, Ismael Caballero, Manuel A. Serrano
Infrastructure-Aware Functional Testing of MapReduce Programs. FiCloud Workshops (2016)
Javier Tuya, Claudio de la Riva, María José Suárez Cabal, Raquel Blanco
Coverage-Aware Test Database Reduction. IEEE Trans. Software Eng. 42 (10) (2016)
María Teresa González-Aparicio, Muhammad Younas, Javier Tuya, Rubén Casado
A New Model for Testing CRUD Operations in a NoSQL Database. AINA (2016)
Raquel Blanco, Javier Tuya
A test model for graph database applications: an MDA-based approach. A-TEST@SIGSOFT FSE (2015)
Jesús Morán, Claudio de la Riva, Javier Tuya
Testing data transformations in MapReduce programs. A-TEST@SIGSOFT FSE (2015)
Marcos Palacios, José García-Fanjul, Javier Tuya, George Spanoudakis
Automatic test case generation for WS-Agreements using combinatorial testing. Comput. Stand. Interfaces 38 (2015)
Rubén Casado, Javier Tuya, Muhammad Younas
Evaluating the effectiveness of the abstract transaction model in testing Web services transactions. Concurr. Comput. Pract. Exp. 27 (4) (2015)
Daniel Rodríguez-García, José Javier Dolado, Javier Tuya
Bayesian concepts in software testing: an initial review. A-TEST@SIGSOFT FSE (2015)
Marcos Palacios, José García-Fanjul, Javier Tuya, George Spanoudakis
Coverage-Based Testing for Service Level Agreements. IEEE Trans. Serv. Comput. 8 (2) (2015)
Jesús Morán, Claudio de la Riva, Javier Tuya
MRTree: Functional Testing Based on MapReduce's Execution Behaviour. FiCloud (2014)
Rubén Casado, Muhammad Younas, Javier Tuya
Multi-dimensional criteria for testing web services transactions. J. Comput. Syst. Sci. 79 (7) (2013)
Marcos Palacios, José García-Fanjul, Javier Tuya, George Spanoudakis
Identifying Test Requirements by Analyzing SLA Guarantee Terms. ICWS (2012)
Raquel Blanco, Javier Tuya, Rubén V. Seco
Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach. ICST (2012)
Ruben Casado, Javier Tuya, Muhammad Younas
Testing the reliability of web services transactions in cooperative applications. SAC (2012)
Ruben Casado, Javier Tuya, Muhammad Younas
A Family of Test Criteria for Web Services Transactions. ANT/MobiWIS (2012)
Ruben Casado, Javier Tuya, Muhammad Younas
An Abstract Transaction Model for Testing the Web Services Transactions. ICWS (2011)
Marcos Palacios, José García-Fanjul, Javier Tuya
Testing in Service Oriented Architectures with dynamic binding: A mapping study. Inf. Softw. Technol. 53 (3) (2011)
Ruben Casado, Javier Tuya, Muhammad Younas
A Framework to Test Advanced Web Services Transactions. ICST (2011)
Ruben Casado, Javier Tuya, Muhammad Younas
Testing Long-Lived Web Services Transactions Using a Risk-Based Approach. QSIC (2010)
Raquel Blanco, Javier Tuya, Belarmino Adenso-Díaz
Automated test data generation using a Scatter Search approach. JISBD (2010)
Claudio de la Riva, María José Suárez Cabal, Javier Tuya
Constraint-based test database generation for SQL queries. AST (2010)
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)
Javier Tuya, María José Suárez Cabal, Claudio de la Riva
Full predicate coverage for testing SQL database queries. Softw. Test. Verification Reliab. 20 (3) (2010)
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)
Marcos Palacios, José García-Fanjul, Javier Tuya, Claudio de la Riva
A Proactive Approach to Test Service Level Agreements. ICSEA (2010)
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)
Eugenia Díaz, Javier Tuya, Raquel Blanco, José Javier Dolado
A tabu search algorithm for structural software testing. JISBD (2009)
María José Suárez Cabal, Javier Tuya
Structural Coverage Criteria for Testing SQL Queries. J. Univers. Comput. Sci. 15 (3) (2009)
María José Suárez Cabal, Claudio de la Riva, Javier Tuya
Generación de Pruebas Basada en Restricciones para Consultas SQL. JISBD (2009)
Raquel Blanco, Javier Tuya, Belarmino Adenso-Díaz
Automated test data generation using a scatter search approach. Inf. Softw. Technol. 51 (4) (2009)
Javier Tuya, María José Suárez Cabal, Claudio de la Riva
Query-aware shrinking test databases. DBTest (2009)
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)
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 Softw. Eng. Notes 33 (1) (2008)
Eugenia Díaz, Javier Tuya, Raquel Blanco, José Javier Dolado
A tabu search algorithm for structural software testing. Comput. Oper. Res. 35 (10) (2008)
Javier Tuya, María José Suárez Cabal, Claudio de la Riva
Mutating database queries. Inf. Softw. Technol. 49 (4) (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)
Claudio de la Riva, José García-Fanjul, Javier Tuya
A Partition-Based Approach for XPath Testing. ICSEA (2006)
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)
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)
Javier Tuya, María José Suárez Cabal, Claudio de la Riva
A practical guide to SQL white-box testing. ACM SIGPLAN Notices 41 (4) (2006)
Claudio de la Riva, Javier Tuya
Automatic generation of assumptions for modular verification of software specifications. J. Syst. Softw. 79 (9) (2006)
Belarmino Adenso-Díaz, Javier Tuya, M. Goitia
EDSS for the evaluation of alternatives in waste water collecting systems design. Environ. Model. Softw. 20 (5) (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)
Claudio de la Riva, Javier Tuya
Modular Model Checking of Software Specifications with Simultaneous Environment Generation. ATVA (2004)
Miguel Riesco, Javier Tuya
Synchronous Estelle: Just Another Synchronous Language? Electron. Notes Theor. Comput. Sci. 88 (2004)
Belarmino Adenso-Díaz, Ignacio González, Javier Tuya
Incorporating fuzzy approaches for production planning in complex industrial environments: the roll shop case. Eng. Appl. Artif. Intell. 17 (1) (2004)
María José Suárez Cabal, Javier Tuya
Using an SQL coverage measurement for testing database applications. SIGSOFT FSE (2004)
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)
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)
Eugenia Díaz, Javier Tuya, Raquel Blanco
Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search. ASE (2003)
María José Suárez Cabal, Javier Tuya
Mejora de casos de prueba midiendo la cobertura de sentencias SQL. JISBD (2003)
Eugenia Díaz, Javier Tuya, Raquel Blanco
Pruebas automáticas de cobertura de software mediante una herramienta basada en Búsqueda Tabú. JISBD (2003)
María José Suárez Cabal, Javier Tuya
Improvement of Test Data by Measuring SQL Statement Coverage. STEP (2003)
Eugenia Díaz, Javier Tuya, Raquel Blanco
A Modular Tool for Automated Coverage in Software Testing. STEP (2003)
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)
María José Suárez Cabal, Javier Tuya
Medida de la cobertura de consultas SQL. ADIS (2002)
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)
Eugenia Díaz, Javier Tuya, Faustino Obeso
A Knowledge-Acquisition Methodology for a Blast Furnace Expert System Using Machine Learning Techniques. ICEIS (1) (2001)
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)
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)
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)
Angel Goitia, José García-Fanjul, Javier Tuya, José A. Corrales
Building Internet Shops: Current Status of the Cities Project. ICEIS (2000)
Claudio de la Riva, Javier Tuya, José Ramón de Diego
Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno. JISBD (2000)
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)
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)
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)
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)
Javier Tuya, José Ramón de Diego, Claudio de la Riva, José A. Corrales
Dynamic analysis of SA/RT models using Spin and modular verification. The Spin Verification System (1996)
Javier Tuya, Luciano Sánchez, José A. Corrales
Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models. ESEC (1995)
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)

Javier Tuya.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Javier Tuya