Javier Tuya - RankMe

109 papers A* 1A 4B 2C 7Misc 4Journal 39Unranked 50

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Data migration for column family database evolution. Inf. Softw. Technol. Pablo Suárez-Otero, Michael J. Mior, María José Suárez-Cabal, Javier Tuya
2025	J	`jnl`	RETORCH*: A Cost and Resource aware Model for E2E Testing in the Cloud. J. Syst. Softw. Cristian Augusto, Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
2024	J	`jnl`	Automatic Debugging of Design Faults in MapReduce Applications. IEEE Trans. Software Eng. Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
2024	J	`jnl`	Optimizing End-to-End test execution: Unleashing the Resource Dispatcher - WiP. WiPiEC Journal Cristian Augusto, Jesús Morán, Claudio de la Riva, Javier Tuya
2024	C	`conf`	Software System Testing Assisted by Large Language Models: An Exploratory Study. ICTSS Cristian Augusto, Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
2023	J	`jnl`	A transaction platform for microservices-based big data systems. Simul. Model. Pract. Theory María Teresa González-Aparicio, Muhammad Younas, Javier Tuya, Rubén Casado
2023	J	`jnl`	Can gamification help in software testing education? Findings from an empirical study. CoRR Raquel Blanco, Manuel Trinidad, María José Suárez-Cabal, Alejandro Calderón, Mercedes Ruiz, Javier Tuya
2023	J	`jnl`	Can gamification help in software testing education? Findings from an empirical study. J. Syst. Softw. Raquel Blanco, Manuel Trinidad, María José Suárez-Cabal, Alejandro Calderón, Mercedes Ruiz, Javier Tuya
2023	J	`jnl`	CoDEvo: Column family database evolution using model transformations. J. Syst. Softw. Pablo Suárez-Otero, Michael J. Mior, María José Suárez-Cabal, Javier Tuya
2023	—	`conf`	Data migration in column family database evolution using MDE. EDBT/ICDT Workshops Pablo Suárez-Otero, Michael J. Mior, María José Suárez-Cabal, Javier Tuya
2023	—	`conf`	Fault Localization for Reinforcement Learning. AITest Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
2023	J	`jnl`	MDICA: Maintenance of data integrity in column-oriented database applications. Comput. Stand. Interfaces María José Suárez-Cabal, Pablo Suárez-Otero, Claudio de la Riva, Javier Tuya
2023	J	`jnl`	Test adequacy evaluation for the user-database interaction: a specification-based approach. CoRR Raquel Blanco, Javier Tuya, Rubén V. Seco
2022	J	`jnl`	Guest editors' introduction to the special issue "Automatic Software Testing from the Trenches". J. Softw. Evol. Process. Breno Miranda, Javier Tuya, Alejandra Garrido
2021	—	`conf`	An Integrated Approach for Column-Oriented Database Application Evolution Using Conceptual Models. ER (Workshops) Pablo Suárez-Otero, Michael J. Mior, María José Suárez-Cabal, Javier Tuya
2020	J	`jnl`	FlakyLoc: Flakiness Localization for Reliable Test Suites in Web Applications. J. Web Eng. Jesús Morán, Cristian Augusto, Antonia Bertolino, Claudio de la Riva, Javier Tuya
2020	—	`conf`	Maintaining NoSQL Database Quality During Conceptual Model Evolution. IEEE BigData Pablo Suárez-Otero, Michael J. Mior, María José Suárez-Cabal, Javier Tuya
2020	J	`jnl`	RETORCH: an approach for resource-aware orchestration of end-to-end test cases. Softw. Qual. J. Cristian Augusto, Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
2020	—	`conf`	Test-Driven Anonymization in Health Data: A Case Study on Assistive Reproduction. AITest Cristian Augusto, Miguel Angel Olivero, Jesús Morán, Leticia Morales, Claudio de la Riva, Javier Aroba, Javier Tuya
2019	C	`conf`	Debugging Flaky Tests on Web Applications. WEBIST Jesús Morán, Cristian Augusto, Antonia Bertolino, Claudio de la Riva, Javier Tuya
2019	Misc	`conf`	Evaluation of ACE properties of traditional SQL and NoSQL big data systems. SAC María Teresa González-Aparicio, Muhammad Younas, Javier Tuya, Rubén Casado
2019	J	`jnl`	Leveraging Conceptual Data Modelsto Ensure the Integrity of CassandraDatabases. J. Web Eng. Pablo Suárez-Otero, María José Suárez-Cabal, Javier Tuya
2019	Misc	`conf`	RETORCH: Resource-Aware End-to-End Test Orchestration. QUATIC Cristian Augusto, Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
2019	J	`jnl`	Software defect prediction with zero-inflated Poisson models. CoRR Daniel Rodríguez, José Javier Dolado, Javier Tuya, Dietmar Pfahl
2019	—	`conf`	Test-Driven Anonymization for Artificial Intelligence. AITest Cristian Augusto, Jesús Morán, Claudio de la Riva, Javier Tuya
2019	J	`jnl`	Testing MapReduce programs: A systematic mapping study. J. Softw. Evol. Process. Jesús Morán, Claudio de la Riva, Javier Tuya
2018	J	`jnl`	Automatic Testing of Design Faults in MapReduce Applications. IEEE Trans. Reliab. Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
2018	J	`jnl`	Early Integration Testing for Entity Reconciliation in the Context of Heterogeneous Data Sources. IEEE Trans. Reliab. Raquel Blanco, José Gonzalez Enríquez, Francisco José Domínguez Mayo, María José Escalona, Javier Tuya
2018	C	`conf`	Leveraging Conceptual Data Models for Keeping Cassandra Database Integrity. WEBIST Pablo Suárez-Otero, María José Suárez-Cabal, Javier Tuya
2018	J	`jnl`	Testing of transactional services in NoSQL key-value databases. Future Gener. Comput. Syst. María Teresa González-Aparicio, Muhammad Younas, Javier Tuya, Rubén Casado
2017	J	`jnl`	Incremental test data generation for database queries. Autom. Softw. Eng. María José Suárez-Cabal, Claudio de la Riva, Javier Tuya, Raquel Blanco
2017	C	`conf`	Towards Ex Vivo Testing of MapReduce Applications. QRS Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
2017	J	`jnl`	Transaction processing in consistency-aware user's applications deployed on NoSQL databases. Hum. centric Comput. Inf. Sci. María Teresa González-Aparicio, Adewole Ogunyadeka, Muhammad Younas, Javier Tuya, Rubén Casado
2016	B	`conf`	A New Model for Testing CRUD Operations in a NoSQL Database. AINA María Teresa González-Aparicio, Muhammad Younas, Javier Tuya, Rubén Casado
2016	J	`jnl`	Coverage-Aware Test Database Reduction. IEEE Trans. Software Eng. Javier Tuya, Claudio de la Riva, María José Suárez-Cabal, Raquel Blanco
2016	—	`conf`	Infrastructure-Aware Functional Testing of MapReduce Programs. FiCloud Workshops Jesús Morán, Bibiano Rivas, Claudio de la Riva, Javier Tuya, Ismael Caballero, Manuel A. Serrano
2016	—	`conf`	Towards an MDE-based approach to test entity reconciliation applications. A-TEST@SIGSOFT FSE José Gonzalez Enríquez, Raquel Blanco, Francisco José Domínguez Mayo, Javier Tuya, María José Escalona Cuaresma
2015	—	`conf`	A test model for graph database applications: an MDA-based approach. A-TEST@SIGSOFT FSE Raquel Blanco, Javier Tuya
2015	J	`jnl`	Automatic test case generation for WS-Agreements using combinatorial testing. Comput. Stand. Interfaces Marcos Palacios, José García-Fanjul, Javier Tuya, George Spanoudakis
2015	—	`conf`	Bayesian concepts in software testing: an initial review. A-TEST@SIGSOFT FSE Daniel Rodríguez-García, José Javier Dolado, Javier Tuya
2015	J	`jnl`	Coverage-Based Testing for Service Level Agreements. IEEE Trans. Serv. Comput. Marcos Palacios, José García-Fanjul, Javier Tuya, George Spanoudakis
2015	J	`jnl`	Evaluating the effectiveness of the abstract transaction model in testing Web services transactions. Concurr. Comput. Pract. Exp. Rubén Casado, Javier Tuya, Muhammad Younas
2015	—	`conf`	Testing data transformations in MapReduce programs. A-TEST@SIGSOFT FSE Jesús Morán, Claudio de la Riva, Javier Tuya
2014	—	`ch.`	A Generic Framework for Testing the Web Services Transactions. Advanced Web Services Rubén Casado, Muhammad Younas, Javier Tuya
2014	—	`conf`	MRTree: Functional Testing Based on MapReduce's Execution Behaviour. FiCloud Jesús Morán, Claudio de la Riva, Javier Tuya
2013	J	`jnl`	Multi-dimensional criteria for testing web services transactions. J. Comput. Syst. Sci. Rubén Casado, Muhammad Younas, Javier Tuya
2012	—	`conf`	A Family of Test Criteria for Web Services Transactions. ANT/MobiWIS Ruben Casado, Javier Tuya, Muhammad Younas
2012	A	`conf`	Identifying Test Requirements by Analyzing SLA Guarantee Terms. ICWS Marcos Palacios, José García-Fanjul, Javier Tuya, George Spanoudakis
2012	A	`conf`	Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach. ICST Raquel Blanco, Javier Tuya, Rubén V. Seco
2012	Misc	`conf`	Testing the reliability of web services transactions in cooperative applications. SAC Ruben Casado, Javier Tuya, Muhammad Younas
2011	A	`conf`	A Framework to Test Advanced Web Services Transactions. ICST Ruben Casado, Javier Tuya, Muhammad Younas
2011	A	`conf`	An Abstract Transaction Model for Testing the Web Services Transactions. ICWS Ruben Casado, Javier Tuya, Muhammad Younas
2011	J	`jnl`	Testing in Service Oriented Architectures with dynamic binding: A mapping study. Inf. Softw. Technol. Marcos Palacios, José García-Fanjul, Javier Tuya
2010	C	`conf`	A Proactive Approach to Test Service Level Agreements. ICSEA Marcos Palacios, José García-Fanjul, Javier Tuya, Claudio de la Riva
2010	—	`conf`	Automated test data generation using a Scatter Search approach. JISBD Raquel Blanco, Javier Tuya, Belarmino Adenso-Díaz
2010	—	`conf`	Constraint-based test database generation for SQL queries. AST@ICSE Claudio de la Riva, María José Suárez-Cabal, Javier Tuya
2010	J	`jnl`	Full predicate coverage for testing SQL database queries. Softw. Test. Verification Reliab. Javier Tuya, María José Suárez-Cabal, Claudio de la Riva
2010	—	`conf`	Herramientas para la evaluación de la cobertura de pruebas de aplicaciones con bases de datos. JISBD Javier Tuya, María José Suárez-Cabal, Claudio de la Riva
2010	—	`conf`	Pruebas en Ingeniería del Software (PRIS, 5ª ed.). JISBD Claudio de la Riva, Peter Hodgson, Ewout van Driel, Fergus Flaherty, Juan Garbajosa, Luis Fernández, Macario Polo, Javier Tuya
2010	—	`conf`	Testing Long-Lived Web Services Transactions Using a Risk-Based Approach. QSIC Ruben Casado, Javier Tuya, Muhammad Younas
2009	—	`conf`	A First Approach to Test Case Generation for BPEL Compositions of Web Services Using Scatter Search. ICST Workshops Raquel Blanco, José García-Fanjul, Javier Tuya
2009	—	`conf`	A tabu search algorithm for structural software testing. JISBD Eugenia Díaz, Javier Tuya, Raquel Blanco, José Javier Dolado
2009	J	`jnl`	Automated test data generation using a scatter search approach. Inf. Softw. Technol. Raquel Blanco, Javier Tuya, Belarmino Adenso-Díaz
2009	—	`conf`	Generación de Pruebas Basada en Restricciones para Consultas SQL. JISBD María José Suárez-Cabal, Claudio de la Riva, Javier Tuya
2009	—	`conf`	Pruebas en Ingeniería del Software (PRIS, 4ª edición). JISBD Claudio de la Riva, Peter Hodgson, Ewout van Driel, Fergus Flaherty, Juan Garbajosa, Luis Fernández, Macario Polo, Javier Tuya
2009	—	`conf`	Query-aware shrinking test databases. DBTest Javier Tuya, María José Suárez-Cabal, Claudio de la Riva
2009	J	`jnl`	Structural Coverage Criteria for Testing SQL Queries. J. Univers. Comput. Sci. María José Suárez-Cabal, Javier Tuya
2008	J	`jnl`	A controlled experiment on white-box database testing. ACM SIGSOFT Softw. Eng. Notes Javier Tuya, José Javier Dolado, María José Suárez-Cabal, Claudio de la Riva
2008	J	`jnl`	A tabu search algorithm for structural software testing. Comput. Oper. Res. Eugenia Díaz, Javier Tuya, Raquel Blanco, José Javier Dolado
2008	—	`ed.`	XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), Gijón, Spain, October 7-10, 2008. Proceedings JISBD Ana Moreira, María José Suárez-Cabal, Claudio de la Riva, Javier Tuya
2007	—	`conf`	Generación sistemática de pruebas para composiciones de servicios utilizando criterios de suficiencia basados en transiciones. JISBD José García-Fanjul, Javier Tuya, Claudio de la Riva
2007	J	`jnl`	Mutating database queries. Inf. Softw. Technol. Javier Tuya, María José Suárez-Cabal, Claudio de la Riva
2006	C	`conf`	A Partition-Based Approach for XPath Testing. ICSEA Claudio de la Riva, José García-Fanjul, Javier Tuya
2006	J	`jnl`	A practical guide to SQL white-box testing. ACM SIGPLAN Notices Javier Tuya, María José Suárez-Cabal, Claudio de la Riva
2006	J	`jnl`	Automatic generation of assumptions for modular verification of software specifications. J. Syst. Softw. Claudio de la Riva, Javier Tuya
2006	—	`conf`	Diseño sistemático de pruebas para consultas XPath utilizando técnicas de partición. JISBD Claudio de la Riva, José García-Fanjul, Javier Tuya
2006	—	`conf`	Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking. TAIC PART José García-Fanjul, Claudio de la Riva, Javier Tuya
2005	—	`conf`	Búsqueda Tabú para la generación de casos de prueba de cobertura de bucles. JISBD María Eugenia Díaz Fernández, Raquel Blanco, Javier Tuya
2005	J	`jnl`	EDSS for the evaluation of alternatives in waste water collecting systems design. Environ. Model. Softw. Belarmino Adenso-Díaz, Javier Tuya, M. Goitia
2004	J	`jnl`	Incorporating fuzzy approaches for production planning in complex industrial environments: the roll shop case. Eng. Appl. Artif. Intell. Belarmino Adenso-Díaz, Ignacio González, Javier Tuya
2004	B	`conf`	Modular Model Checking of Software Specifications with Simultaneous Environment Generation. ATVA Claudio de la Riva, Javier Tuya
2004	—	`conf`	Using an SQL coverage measurement for testing database applications. SIGSOFT FSE María José Suárez-Cabal, Javier Tuya
2003	—	`conf`	A Decision Support System for Preventing and Correcting Burden Slips, Drops and Hangs in a Blast Furnace. ICEIS (2) David Montes, Javier Tuya, Eugenia Díaz, Raquel Blanco, Faustino Obeso
2003	—	`conf`	A Modular Tool for Automated Coverage in Software Testing. STEP Eugenia Díaz, Javier Tuya, Raquel Blanco
2003	A*	`conf`	Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search. ASE Eugenia Díaz, Javier Tuya, Raquel Blanco
2003	—	`conf`	Generación Automática y Paralela de Entornos en la Verificación de Componentes Software. JISBD Claudio de la Riva, Javier Tuya, José Ramón de Diego
2003	—	`conf`	Improvement of Test Data by Measuring SQL Statement Coverage. STEP María José Suárez-Cabal, Javier Tuya
2003	—	`conf`	Mejora de casos de prueba midiendo la cobertura de sentencias SQL. JISBD María José Suárez-Cabal, Javier Tuya
2003	—	`conf`	Pruebas automáticas de cobertura de software mediante una herramienta basada en Búsqueda Tabú. JISBD Eugenia Díaz, Javier Tuya, Raquel Blanco
2003	—	`conf`	Synchronous Estelle: Just Another Synchronous Language? SLAP Miguel Riesco, Javier Tuya
2002	—	`conf`	Comparación de técnicas metaheurísticas para la generación automática de casos de prueba que obtengan una cobertura de software. ADIS Eugenia Díaz, Javier Tuya
2002	—	`conf`	Medida de la cobertura de consultas SQL. ADIS María José Suárez-Cabal, Javier Tuya
2001	—	`conf`	A Knowledge-Acquisition Methodology for a Blast Furnace Expert System Using Machine Learning Techniques. ICEIS (1) Eugenia Díaz, Javier Tuya, Faustino Obeso
2001	C	`conf`	An Expert System for Ironmaking. IEA/AIE Javier Tuya, Eugenia Díaz, Marta Hermida, José Antonio López Brugos, Ángel Neira, Alfredo Alguero, Faustino Obeso
2001	—	`conf`	Generación de Restricciones del Entorno para Verificación Modular Utilizando Reglas de Asociación. JISBD Claudio de la Riva, Javier Tuya, José Ramón de Diego
2001	—	`conf`	SEGESOFT: Entorno de Entrenamiento para la Gestión de Proyectos Software. JISBD 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
2000	—	`conf`	An Architecture for On-Line Intelligent Control of Blast Furnaces. ICEIS Javier Tuya, Eugenia Díaz, Marta Hermida, José Antonio López Brugos, Ángel Neira, Alfredo Alguero, Faustino Obeso
2000	—	`conf`	Building Internet Shops: Current Status of the Cities Project. ICEIS Angel Goitia, José García-Fanjul, Javier Tuya, José A. Corrales
2000	—	`conf`	Verificación Formal del Sistema de Control de Acceso a Applicaciones Corporativas de la F.L.C. JISBD Ester Suárez-Calvo, Javier Tuya
2000	—	`conf`	Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno. JISBD Claudio de la Riva, Javier Tuya, José Ramón de Diego
1999	—	`conf`	TIBLEUS: A Model to Build Internet Online Support Services Using ASP. ICEIS José García-Fanjul, Cristina Monteserín, Claudio de la Riva, Javier Tuya
1999	—	`conf`	Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker. Ershov Memorial Conference Claudio de la Riva, Javier Tuya, José Ramón de Diego
1999	—	`conf`	Verificación Formal del Subsistema de Identificación de Clientes en una Tienda Virtual. JISBD José García-Fanjul, Javier Tuya, José A. Corrales
1996	—	`conf`	Dynamic analysis of SA/RT models using Spin and modular verification. The Spin Verification System Javier Tuya, José Ramón de Diego, Claudio de la Riva, José A. Corrales
1995	—	`conf`	Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models. ESEC Javier Tuya, Luciano Sánchez, José A. Corrales
1993	—	`conf`	A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification. ESEC Javier Tuya, Luciano Sánchez, R. Zurita, José A. Corrales
1993	Misc	`conf`	Combination of Self-Organizing Maps and Multilayer Perceptrons for Speaker Independent Isolated Word Recognition. IWANN Javier Tuya, E. Arias, Luciano Sánchez, José A. Corrales
1993	J	`jnl`	Information modelling: specification and implementation: D Edmond Prentice-Hall (1992) 590 pp £22.95 ISBN 0 13 457748 5. Inf. Softw. Technol. Javier Tuya
1992	J	`jnl`	Managing computer projects : R Gibson Prentice Hall International (UK) (1992) 161 pp £22.95 ISBN 0 13 159591 1. Inf. Softw. Technol. Javier Tuya