Publicaciones en Pruebas del Software

Copyright Notice. The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

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.

Editadas

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)

| Cátedra Indra (new window icon: Cátedra Indra)

]
[ Todas · Bases de Datos e Ingeniería de Datos · Orientadas a Servicios · Oráculos y XML · Methaheurísticas y Otros]

Grupo de Investigación en Ingeniería del Software

Publicaciones en Pruebas del Software