Software Engineering Research Group
Software Testing Research - Publications
- Pablo Suárez-Otero, Michael J. Mior, María José Suárez-Cabal and Javier Tuya.
CoDEvo: Column family database evolution using model transformations.
Journal of Systems and Software,
203 September 2023.
[
DOI | Download PDF
]
- María Teresa González-Aparicio, Muhammad Younas, Javier Tuya, Rubén Casado.
A transaction platform for microservices-based big data systems.
Simulation Modelling Practice and Theory,
123 February 2023.
[
DOI
]
- 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.
Journal of Systems and Software,
200 June 2023.
[
DOI | Download PDF
]
- 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.
Computer Standards & Interfaces,
83 January 2023.
[
DOI | Download PDF
]
- Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya.
Fault Localization for Reinforcement Learning.
2023 IEEE International Conference On Artificial Intelligence Testing (AITest).
Athems, Greece,
June 2023.
- Pablo Suárez-Otero, Michael Mior, María José Suárez-Cabal and Javier Tuya.
Data migration in column family database evolution using MDE.
3rd Workshop on Conceptual Modeling for NoSQL Data Stores (CoMoNoS).
Ioannina, Greece,
March 2023.
- Pablo Suárez-Otero, Michael Mior, María José Suárez-Cabal and Javier Tuya.
An integrated approach for column-oriented database application evolution using conceptual models.
Workshop on 2nd Conceptual Modelling for NoSQL Data Stores (CoMoNoS).
St. John's, Canada,
October 2021.
[
DOI
]
- Cristian Augusto.
Efficient test execution in end to end testing: resource optimization in end to end testing through a smart resource characterization and orchestration.
ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings.
Seoul, South Corea,
Julio 2020.
[
DOI | Download PDF
]
- Cristian Augusto, Miguel A. Oliveiro, Jesús Morán, Leticia Morales, Claudio de la Riva, Javier Aroba, Javier Tuya.
Test-Driven Anonymization in Health Data: A Case of Study on Assistive Reproduction.
IEEE International Conference On Artificial Intelligence Testing (AITest).
Oxford,
August 2020.
[
DOI | Download PDF
]
- Jesús Morán, Cristian Augusto, Antonia Bertolino, Claudio de la Riva, Javier Tuya.
FlakyLoc: Flakiness Localization for Reliable Test Suites in Web Applications.
Journal of Web Engineering,
19 (2) June 2020.
[
DOI | Download PDF
]
- Cristian Augusto, Jesus Moran, Claudio de la Riva, Javier Tuya.
RETORCH: An Approach for Resource-aware Orchestration of End-to-End Test Cases.
Software Quality Journal,
28 1147-1171,
March 2020.
[
DOI | Download PDF
]
- Pablo Suárez-Otero, María José Suárez-Cabal, Javier Tuya.
Leveraging conceptual data models to ensure the integrity of Cassandra databases.
Journal of Web Engineering,
18 257-286,
June 2019.
[
DOI | Download PDF
]
- Jesús Morán, Claudio de la Riva, Javier Tuya.
Testing MapReduce Programs: A Systematic Mapping Study.
Journal of Software: Evolution and Process,
31 (3) 1-29,
Mar 2019.
[
DOI | Download PDF
]
- Cristian Augusto, Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya.
RETORCH: Resource-aware End-to-end Test Orchestration.
12th International Conference on the Quality of Information and Communications Technology (QUATIC).
Ciudad Real,
September 2019.
[
DOI | Download PDF
]
- Jesús Morán, Cristian Augusto, Antonia Bertolino, Claudio de la Riva, Javier Tuya.
Debugging flaky tests on web applications.
15th International Conference on Web Information Systems and Technologies (WEBIST) - 4th Intl. Special Session on Advanced Practices in Model-Driven Web Engineering (APMDWE).
Viena,
September 2019.
[
DOI | Download PDF
]
- Maria Teresa Gonzalez-Aparicio, Muhammad Younas, Javier Tuya, Ruben Casado.
Evaluation of ACE Properties of Traditional SQL and NoSQL Big Data Systems.
34th ACM/SIGAPP Symposium on Applied Computing (SAC).
Limassol, Cyprus,
April 2019.
[
DOI | Download PDF
]
- Cristian Augusto, Jesús Morán, Claudio De La Riva, Javier Tuya.
Test-Driven Anonymization for Artificial Intelligence.
IEEE International Conference On Artificial Intelligence Testing (AITest).
Newark, CA, USA,
April 2019.
[
DOI | Download PDF
]
- Jesús Morán, Antonia Bertolino, Claudio de la Riva, and Javier Tuya.
Automatic Testing of Design Faults in MapReduce Applications.
IEEE Transactions on Reliability,
67 (3) 717-732,
Sep 2018.
[
DOI | Download PDF
]
- R. Blanco, J. González-Enríquez, F.J. Domínguez-Mayo, M.J. Escalona, J. Tuya.
Early Testing Integration for Entity Reconciliation in the context of Heterogeneous Data Sources.
IEEE Transactions on Reliability,
67 (2) 538-556,
June 2018.
[
DOI
]
- María Teresa González-Aparicio, Muhammad Younas, Javier Tuya, Rubén Casado.
Testing of Transactional Services in NoSQL Key-Value Databases.
Future Generation Computer Systems,
80 384-399,
March 2018.
[
DOI
]
- Pablo Suárez-Otero, María José Suárez-Cabal, Javier Tuya.
Leveraging conceptual data models for keeping Cassandra database integrity.
International Conference on Web Information Systems and Technologies (WEBIST).
Seville,
Sep 2018.
[
Download PDF
]
- M.J. Suárez-Cabal, C. de la Riva, J. Tuya, R. Blanco.
Incremental test data generation for database queries.
Automated Software Engineering,
24(4) 719-755,
December 2017.
[
DOI
]
- Jesús Morán, Bibiano Rivas, Claudio de la Riva, Javier Tuya, Ismael
Caballero, Manuel Serrano.
Configuration/Infrastructure-aware testing of MapReduce programs.
Advances in Science, Technology and Engineering Systems Journal,
2(1) 90-96,
January 2017.
[
DOI
]
- Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya.
Towards Ex Vivo Testing of MapReduce Applications.
IEEE International Conference on Software Quality, Reliability & Security (QRS).
Prague,
July 2017.
[
DOI
]
- M.T. González-Aparicio, A. Ogunyadeka, M. Younas, J. Tuya, R. Casado,.
Transaction Processing in Consistency-aware User’s applications deployed on NoSQL databases.
Human-centric Computing and Information Sciences,
7:7 1-18,
April 2017.
[
DOI & Download | Download PDF
]
- J. Tuya, C. de la Riva, M.J. Suárez-Cabal, R. Blanco.
Coverage-Aware Test Database Reduction.
IEEE Transactions on Software Engineering,
42 (10) 941-959,
October 2016.
[
Download PDF | DOI
]
- J. G. Enríquez, R. Blanco, F. J. Domínguez-Mayo, J. Tuya, and M. J. Escalona.
Towards an MDE-Based Approach to Test Entity Reconciliation Applications.
7th International Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST).
Seattle, WA, USA,
November 2016.
[
Download PDF | DOI
]
- Jesús Morán, Bibiano Rivas, Claudio de la Riva, Javier Tuya, Ismael Caballero, Manuel Serrano.
Infrastructure-Aware Funcional Testing of MapReduce Programs.
IEEE International Conference on Future Internet of Things and Cloud Workshops (FiCloudW).
Vienna, Austria,
August 2016.
[
DOI
]
- María Teresa González-Aparicio, Muhammad Younas, Javier Tuya, Rubén Casado.
A new model for testing CRUD operations in a NoSQL database.
30th IEEE International Conference on Advanced Information Networking and Applications.
Crans-Montana, Switzerland,
Mar 2016.
[
DOI
]
- Marcos Palacios, José García-Fanjul, Javier Tuya, and George Spanoudakis.
Coverage-based testing for Service Level Agreements.
IEEE Transactions on Services Computing,
8 (2) 299-313,
March-April 2015.
[
DOI
]
- Marcos Palacios, José García-Fanjul, Javier Tuya, George Spanoudakis.
Automatic test case generation for WS-Agreements using combinatorial testing.
Computer Standards and Interfaces,
38 84-100,
Feb 2015.
[
DOI
]
- Jesús Morán, Claudio de la Riva, Javier Tuya.
Testing Data Transformations in MapReduce Programs.
6th International Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST).
Bergamo, IT,
Aug 2015.
[
Download PDF | DOI
]
- Raquel Blanco, Javier Tuya.
A Test Model for Graph Database Applications: An MDA-Based Approach.
6th International Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST).
Bergamo, IT,
Aug 2015.
[
Download PDF | DOI
]
- Javier Tuya.
Testing SQL and NoSQL Databases.
Workshop on software testing, metrics, data mining and decision making, Iceberg project.
Alcalá de Henares,
Mar 2015.
- Ruben Casado, Javier Tuya, Muhammad Younas.
Evaluating the effectiveness of the abstract transaction model in testing web services transactions.
Concurrency and Computation - Practice and Experience,
27 (4) 765-781,
March 2015.
[
Download PDF | DOI
]
- Jesús Morán, Claudio de la Riva, Javier Tuya.
MRTree: Functional Testing based on MapReduce´s execution behaviour.
International Symposium on Big Data Research and Innovation (BigR&I).
Barcelona,
Aug 2014.
- L. García-Borgoñón , R. Blanco, J. A. García-García, M. A. Barcelona.
Techniques to Software Process Assessment: A Model-Based Perspective.
Information System Development,
333-344,
333-344.
[
DOI
]
- Mercedes Ruiz, Javier Tuya, Daniel Crespo.
Simulation-Based Optimization for Software Dynamic Testing Processes.
International Journal on Advances in Software,
7 (1-2) 381-390,
Jun 2014.
[
PDF, full issue
]
- M. Palacios, J. G. Fanjul and J. Tuya.
Design and Implementation of a Tool to Test Service Level Agreements.
IEEE Latin America Transactions,
12 (2) 256-261,
March 2014.
[
DOI
]
- Rubén Casado, Muhammad Younas, Javier Tuya.
A Generic Framework for Testing the Web Services Transactions.
Advanced Web Services (Bouguettaya, Athman; Sheng, Quan Z.; Daniel, Florian, Eds.),
29-49,
2014.
[
DOI | Book
]
- Rubén Casado, Muhammad Younas, Javier Tuya.
Multi-dimensional Criteria for Testing Web Services Transactions.
Journal of Computer and System Sciences,
79 (7) 1057-1076,
Nov 2013.
[
DOI
]
- Mercedes Ruiz, Javier Tuya, Daniel Crespo.
Simulation-Based Management for Software Dynamic Testing Processes.
7th International Conference on Software Engineering Advances (ICSEA).
Lisboa,
Nov 2012.
- Rubén Casado, Javier Tuya, Muhammad Younas.
A Family of Test Criteria for Web Services Transactions.
International Symposium on Advances in Transaction Processing.
Niagara Falls, Ontario,
August 2012.
[
download PDF | DOI
]
- Rubén Casado, Javier Tuya, Claude Godart, Muhammad Younas.
Test case design for transactional flows using a dependency-based approach.
International Journal of Computer Information Systems and Industrial Management Applications,
5 20-40,
2012.
[
download PDF
]
- Marcos Palacios, José García-Fanjul, Javier Tuya, George Spanoudakis.
Identifying Test Requirements by Analyzing SLA Guarantee Terms.
19th International Conference on Web Services (ICWS).
Honolulu, Hawaii,
June 2012.
[
download PDF | DOI | download SLA
]
- Raquel Blanco, Javier Tuya, Rubén V. Seco.
Test adequacy evaluation for the user-database interaction: a specification-based approach.
5th International Conference on Software Testing, Verification and Validation (ICST).
Montreal, Canada,
April 2012.
[
Download PDF | DOI
]
- Ruben Casado, Javier Tuya, Muhammad Younas.
Testing the Reliability of Web Services Transactions in Cooperative Applications.
27th Symposium of Applied Computing (SAC).
Trento, Italy,
March 2012.
[
Download PDF | DOI
]
- Marcos Palacios, José García-Fanjul, Javier Tuya.
Defining an SLA-aware Method to Test Service-Oriented Systems.
9th International Conference on Service Oriented Computing (ICSOC PhD Symp).
Paphos, Cyprus,
December 2011.
[
Download PDF | DOI
]
- Javier Tuya.
Standarization effort: ISO/IEC 29119 Software Testing.
AST Network Meeting.
Seville,
October 2011.
[
PPT
]
- Rubén Casado, Javier Tuya, Claude Godart.
Dependency-based Criteria for Testing Web Services Transactional Workflows.
7th IEEE International Conference on Next Generation Web Services Practices (NWeSP).
Salamanca,
October 2011.
[
Download PDF | DOI
]
- Rubén Casado, Javier Tuya, Muhammad Younas.
An Abstract Transaction Model for Testing the Web Services Transactions.
2011 IEEE International Conference on Web Services (ICWS).
Washington DC,
July 2011.
[
Download PDF | DOI
]
- Rubén Casado, Javier Tuya, Muhammad Younas.
A Framework to Test Advanced Web Services Transactions.
IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST).
Berlin,
March 2011.
[
Download PDF | DOI
]
- Marcos Palacios, José García-Fanjul, Javier Tuya.
Testing in Service Oriented Architectures with Dynamic Binding: a Mapping Study.
Information and Software Technology,
53(3) 171-189,
March 2011.
[
Download PDF | DOI
]
- Raquel Blanco, José García-Fanjul, Javier Tuya.
Test case generation for transition-pair coverage using Scatter Search.
International Journal of Software Engineering and Its Applications,
4 (4) 37-55,
October 2010.
[
Download PDF
]
- Javier Tuya, Mª José Suárez-Cabal and Claudio de la Riva.
Full predicate coverage for testing SQL database queries.
Software Testing, Verification and Reliability,
20 (3) 237-288,
September 2010.
[
Download PDF | DOI | Run Tool
]
- Marcos Palacios, José García-Fanjul, Claudio de la Riva, Javier Tuya.
A Proactive Approach to Test Service Level Agreements.
5th International Conference on Software Engineering Advances (ICSEA).
Nice, France,
August 2010.
[
DOI
]
- Rubén Casado, Javier Tuya, Muhammad Younas.
Testing Long-lived Web Services Transactions Using a Risk-based Approach.
10th International Conference on Quality Software (QSIC).
Zhangjiajie, China,
July 2010.
[
Download PDF | DOI
]
- Dae S. Kim-Park, Claudio de la Riva, Javier Tuya.
An Automated Test Oracle for XML Processing Programs.
1st International Workshop on Software Test Output Validation (STOV).
Trento, Italy,
July 2010.
[
DOI
]
- Claudio de la Riva, María José Suárez-Cabal, Javier Tuya.
Constraint-based Test Database Generation for SQL Queries.
5th International Workshop on Automation of Software Test (AST).
Cape Town, South Africa,
May 2010.
[
Download PDF | DOI
]
- Dae Sung Kim-Park, Claudio de la Riva, Javier Tuya.
A Partial Test Oracle for XML Query Testing.
Testing: Academic & Industrial Conference - Practice and Research Techniques (TAIC-PART).
Windsor,
September 2009.
[
Download PDF | DOI
]
- Javier Tuya, Mª Jose Suarez-Cabal, Claudio de la Riva.
Query-Aware Shrinking Test Databases.
Second International Workshop on Testing Database Systems (DBTest).
Providence, RI,
June 2009.
[
Download PDF | DOI | Download Tool
]
- Dae Sung Kim-Park, Claudio de la Riva, Javier Tuya.
An Approach to a Test Oracle for XML Query Testing.
International Conference on Web Engineering (ICWE DC).
San Sebastian,
June 2009.
[
Download PDF
]
- Rubén Casado Tejedor, Javier Tuya.
Testing Transactions in Service Oriented Architectures..
International Conference on Web Engineering (ICWE DC).
San Sebastian,
June 2009.
[
Download PDF
]
- Raquel Blanco, Javier Tuya, B. Adenso Díaz.
Automated test data generation using a Scatter Search approach.
Information and Software Technology,
51 (4) 708-720,
April 2009.
[
Download PDF | DOI
]
- Raquel Blanco, José García-Fanjul, Javier Tuya.
A first approach to test case generation for BPEL compositions of web services using scatter search.
2nd International Workshop on Search-Based Software Testing (SBST).
Denver, Colorado,
April 2009.
[
Download PDF
]
- Mª José Suárez-Cabal, Javier Tuya.
Structural Coverage Criteria for Testing SQL Queries.
Journal of Universal Computer Science,
15 (3) 584-619,
2009.
[
Download PDF
]
- Eugenia Díaz, Javier Tuya, Raquel Blanco, Javier Dolado.
A tabu search algorithm for Structural Software Testing.
Computers & Operations Research (focus issue on Search-Based Software Engineering),
35(10) 3049-3392,
October 2008.
[
Download PDF | DOI
]
- Dae Sung Kim-Park, Claudio de la Riva, Javier Tuya, José García-Fanjul.
Generating Input Documents for Testing XML Queries with ToXgene.
Testing: Academic & Industrial Conference - Practice and Research Techniques (TAIC-PART).
Windsor,
August 2008.
[
Download PDF
]
- Javier Tuya, Claudio de la Riva, José García-Fanjul.
A laboratory exercise in testing database applications.
7th Workshop on Teaching Software Testing (WTST).
Melbourne, Florida,
January 2008.
[
Download PDF
]
- Javier Tuya, Javier Dolado, Mª José Suárez-Cabal, Claudio de la Riva.
A controlled experiment on white-box database testing.
Software Engineering Notes,
33 (1), 8 1-6,
January 2008.
[
DOI
]
- Raquel Blanco, Javier Tuya, Eugenia Diaz, Adenso Diaz.
A Scatter Search approach for the Automated Branch Coverage in Software Testing.
Engineering Intelligent Systems for Electrical Engineering and Communications,
15(3) 135-142,
September 2007.
- Javier Tuya, Mª José Suárez-Cabal, Claudio de la Riva.
Mutating database queries.
Information and Software Technology,
49(4) 398-417,
April 2007.
[
Download PDF | DOI | Run Tool
]
- Javier Tuya, Mª Jose Suarez-Cabal and Claudio de la Riva.
SQLMutation: a Tool to Generate Mutants of SQL Database Queries.
Second Workshop on Mutation Analysis (Mutation2006).
Raleigh, North Carolina,
November 2006.
[
Download PDF | DOI | Run Tool
]
- Claudio de la Riva, José García-Fanjul, Javier Tuya.
A Partition-based Approach for XPath Testing.
International Conference on Software Engineering Advances (ICSEA).
Tahiti,
October 2006.
[
Download PDF | DOI
]
- 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,
September 2006.
[
Download PDF | DOI
]
- José García-Fanjul, Claudio de la Riva, Javier Tuya.
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking.
Testing: Academic & Industrial Conference - Practice and Research Techniques (TAIC-PART).
Windsor,
August 2006.
[
Download PDF | PPT | DOI
]
- José García-Fanjul, Javier Tuya, Claudio de la Riva.
Generating test cases specifications for compositions of web services.
International Workshop on Web Services - Modeling and Testing (WS-MaTe).
Palermo,
June 2006.
[
Download PDF
]
- Eugenia Díaz, Raquel Blanco, Javier Tuya.
Tabu search for automated loop coverage in software testing.
International Conference on Knowledge Engineering and Decision Support (ICKEDS).
Porto,
Mayo 2006.
- Javier Tuya, Mª José Suárez-Cabal, Claudio de la Riva.
A practical guide to SQL white-box testing.
ACM Sigplan Notices,
41(4) 36-41,
April 2006.
[
DOI
]
- Claudio de la Riva, Javier Tuya, José García-Fanjul.
Testing XPath Queries using Model Checking.
System Testing and Validation (STV).
Potsdam,
Marzo 2006.
[
Download PDF
]
- Claudio de la Riva, Javier Tuya.
A survey on testing XML-Based applications.
IADIS International Conference WWW/Internet 2005.
Lisboa,
October 2005.
- Eugenia Díaz, Raquel Blanco, Javier Tuya.
Applying Tabu and Scatter Search to automated software test case generation.
6th Metaheuristics International Conference (MIC).
Vienna,
August 2005.
- Mª José Suárez-Cabal, Javier Tuya.
Using an SQL Coverage Measurement for Testing Database Applications.
12th ACM SIGSOFT International Symposium on the Foundations of Software Engineering. Software Engineering Notes 19(6) 253-262.
Newport, California,
November 2004.
[
Download PDF | DOI
]
- Claudio de la Riva, Javier Tuya.
Modular Model Checking of Software Specifications with Simultaneous Environment Generation.
International Conference on Automated Technology for Verification and Analysis (ATVA).
Taipei,
October 2004.
- Eugenia Díaz, Raquel Blanco, Javier Tuya.
Automated Software Testing with Metaheuristic Techniques.
ERCIM news,
58 27-28,
Julio 2004.
[
Browse HTML | Full
]
- Maria José Suárez Cabal, Javier Tuya.
Improvement of Test Data by Measuring SQL Statement Coverage.
Software Technology and Engineering Practice,
234-240,
2004.
- Eugenia Díaz, Javier Tuya, Raquel Blanco.
A modular tool for automated coverage in software testing.
Software Technology and Engineering Practice (STEP),
241-246,
2004.
[
Download PDF
]
- Eugenia Díaz, Javier Tuya, Raquel Blanco.
Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search.
18th IEEE International Conference on Automated Software Engineering (ASE).
Montreal,
October 2003.
[
Download PDF | DOI
]
- Eugenia Díaz, Javier Tuya, Raquel Blanco.
An automated test data generation tool using Tabu Search.
UK Software Testing Workshop (UKTest).
Yourk, UK,
September 2003.
- J. Tuya, M. E. Díaz-Fernández, M. J. Suárez-Cabal.
A Review of Automatic Software Testing Generation Techniques.
1st International workshop on system testing and validation (SV02).
París,
December 2002.
- J. J. Dolado, J. Tuya, D. Rodríguez.
Steps in the Ontological Modelling for the Software Verification and Validation Activities.
1st International workshop on system testing and validation (SV02).
París,
December 2002.
Edited
- 13th Conference on Software Engineering and Databases, 2008 (ISBN 978-84-612-5820-8) (PDF, 33.4Mb)
- Actas de Talleres de Ingenería del Software y Bases de Datos, Vol. 4, no. 5, 2010 (ISSN 1988-3455)
- Actas de Talleres de Ingenería del Software y Bases de Datos, Vol. 3, no. 4, 2009 (ISSN 1988-3455)
- Actas de Talleres de Ingenería del Software y Bases de Datos, Vol. 2, no. 4, 2008 (ISSN 1988-3455)
- Actas de Talleres de Ingenería del Software y Bases de Datos, Vol. 1, no. 4, 2007 (ISSN 1988-3455)
- Técnicas Cuantitativas para la Gestión en la Ingeniería del Software, netbiblo, 2007 (ISBN 978-84-9745-204-5)