Javier Tuya

J. Syst. Softw., September, 2023

Can gamification help in software testing education? Findings from an empirical study.

[BibT_eX]

[DOI]

Manuel Trinidad

Alejandro Calderón

Mercedes Ruiz

J. Syst. Softw., June, 2023

A transaction platform for microservices-based big data systems.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2023

MDICA: Maintenance of data integrity in column-oriented database applications.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2023

Data migration in column family database evolution using MDE.

[BibT_eX]

[DOI]

Proceedings of the Workshops of the EDBT/ICDT 2023 Joint Conference, 2023

Fault Localization for Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2023

2022

Guest editors' introduction to the special issue "Automatic Software Testing from the Trenches".

[BibT_eX]

[DOI]

Breno Miranda

Alejandra Garrido

J. Softw. Evol. Process., 2022

2021

An Integrated Approach for Column-Oriented Database Application Evolution Using Conceptual Models.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling, 2021

2020

RETORCH: an approach for resource-aware orchestration of end-to-end test cases.

[BibT_eX]

[DOI]

Softw. Qual. J., 2020

FlakyLoc: Flakiness Localization for Reliable Test Suites in Web Applications.

[BibT_eX]

[DOI]

J. Web Eng., 2020

Maintaining NoSQL Database Quality During Conceptual Model Evolution.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

Test-Driven Anonymization in Health Data: A Case Study on Assistive Reproduction.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2019

Testing MapReduce programs: A systematic mapping study.

[BibT_eX]

[DOI]

Jesús Morán

J. Softw. Evol. Process., 2019

Leveraging Conceptual Data Modelsto Ensure the Integrity of CassandraDatabases.

[BibT_eX]

[DOI]

J. Web Eng., 2019

Software defect prediction with zero-inflated Poisson models.

[BibT_eX]

[DOI]

CoRR, 2019

Debugging Flaky Tests on Web Applications.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Web Information Systems and Technologies, 2019

Evaluation of ACE properties of traditional SQL and NoSQL big data systems.

[BibT_eX]

[DOI]

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

RETORCH: Resource-Aware End-to-End Test Orchestration.

[BibT_eX]

[DOI]

Proceedings of the Quality of Information and Communications Technology, 2019

Test-Driven Anonymization for Artificial Intelligence.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

2018

Automatic Testing of Design Faults in MapReduce Applications.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2018

Early Integration Testing for Entity Reconciliation in the Context of Heterogeneous Data Sources.

[BibT_eX]

[DOI]

Francisco José Domínguez Mayo

José Gonzalez Enríquez

María José Escalona

IEEE Trans. Reliab., 2018

Testing of transactional services in NoSQL key-value databases.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2018

Leveraging Conceptual Data Models for Keeping Cassandra Database Integrity.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Web Information Systems and Technologies, 2018

2017

Transaction processing in consistency-aware user's applications deployed on NoSQL databases.

[BibT_eX]

[DOI]

Hum. centric Comput. Inf. Sci., 2017

Incremental test data generation for database queries.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2017

Towards Ex Vivo Testing of MapReduce Applications.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

2016

Coverage-Aware Test Database Reduction.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2016

Towards an MDE-based approach to test entity reconciliation applications.

[BibT_eX]

[DOI]

José Gonzalez Enríquez

Francisco José Domínguez Mayo

María José Escalona Cuaresma

Proceedings of the 7th International Workshop on Automating Test Case Design, 2016

Infrastructure-Aware Functional Testing of MapReduce Programs.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Future Internet of Things and Cloud Workshops, 2016

A New Model for Testing CRUD Operations in a NoSQL Database.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016

2015

Coverage-Based Testing for Service Level Agreements.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2015

Automatic test case generation for WS-Agreements using combinatorial testing.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2015

Evaluating the effectiveness of the abstract transaction model in testing Web services transactions.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2015

Bayesian concepts in software testing: an initial review.

[BibT_eX]

[DOI]

Daniel Rodríguez-García

José Javier Dolado

Proceedings of the 6th International Workshop on Automating Test Case Design, 2015

Testing data transformations in MapReduce programs.

[BibT_eX]

[DOI]

Jesús Morán

Proceedings of the 6th International Workshop on Automating Test Case Design, 2015

A test model for graph database applications: an MDA-based approach.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Automating Test Case Design, 2015

2014

MRTree: Functional Testing Based on MapReduce's Execution Behaviour.

[BibT_eX]

[DOI]

Jesús Morán

Proceedings of the 2014 International Conference on Future Internet of Things and Cloud, 2014

A Generic Framework for Testing the Web Services Transactions.

[BibT_eX]

[DOI]

Proceedings of the Advanced Web Services, 2014

2013

Multi-dimensional criteria for testing web services transactions.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2013

2012

A Family of Test Criteria for Web Services Transactions.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Ambient Systems, 2012

Testing the reliability of web services transactions in cooperative applications.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

Identifying Test Requirements by Analyzing SLA Guarantee Terms.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach.

[BibT_eX]

[DOI]

Rubén V. Seco

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Testing in Service Oriented Architectures with dynamic binding: A mapping study.

[BibT_eX]

[DOI]

Marcos Palacios

Inf. Softw. Technol., 2011

An Abstract Transaction Model for Testing the Web Services Transactions.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2011

A Framework to Test Advanced Web Services Transactions.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

Full predicate coverage for testing SQL database queries.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2010

Testing Long-Lived Web Services Transactions Using a Risk-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Quality Software, 2010

Herramientas para la evaluación de la cobertura de pruebas de aplicaciones con bases de datos.

[BibT_eX]

Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

Pruebas en Ingeniería del Software (PRIS, 5ª ed.).

[BibT_eX]

Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

A Proactive Approach to Test Service Level Agreements.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

Constraint-based test database generation for SQL queries.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Automation of Software Test, 2010

2009

Structural Coverage Criteria for Testing SQL Queries.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2009

Automated test data generation using a scatter search approach.

[BibT_eX]

[DOI]

Belarmino Adenso-Díaz

Inf. Softw. Technol., 2009

Query-aware shrinking test databases.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Testing Database Systems, 2009

Pruebas en Ingeniería del Software (PRIS, 4ª edición).

[BibT_eX]

Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Generación de Pruebas Basada en Restricciones para Consultas SQL.

[BibT_eX]

Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

A First Approach to Test Case Generation for BPEL Compositions of Web Services Using Scatter Search.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

A controlled experiment on white-box database testing.

[BibT_eX]

[DOI]

José Javier Dolado

ACM SIGSOFT Softw. Eng. Notes, 2008

A tabu search algorithm for structural software testing.

[BibT_eX]

[DOI]

Comput. Oper. Res., 2008

2007

Mutating database queries.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2007

Generación sistemática de pruebas para composiciones de servicios utilizando criterios de suficiencia basados en transiciones.

[BibT_eX]

[DOI]

Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

2006

A practical guide to SQL white-box testing.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2006

Automatic generation of assumptions for modular verification of software specifications.

[BibT_eX]

[DOI]

J. Syst. Softw., 2006

Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Testing: Academia and Industry Conference, 2006

Diseño sistemático de pruebas para consultas XPath utilizando técnicas de partición.

[BibT_eX]

Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), 2006

A Partition-Based Approach for XPath Testing.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

2005

EDSS for the evaluation of alternatives in waste water collecting systems design.

[BibT_eX]

[DOI]

Belarmino Adenso-Díaz

María Eugenia Díaz Fernández

M. Goitia

Environ. Model. Softw., 2005

Búsqueda Tabú para la generación de casos de prueba de cobertura de bucles.

[BibT_eX]

Proceedings of the Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), 2005

2004

Incorporating fuzzy approaches for production planning in complex industrial environments: the roll shop case.

[BibT_eX]

[DOI]

Belarmino Adenso-Díaz

Ignacio González

Eng. Appl. Artif. Intell., 2004

Using an SQL coverage measurement for testing database applications.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Modular Model Checking of Software Specifications with Simultaneous Environment Generation.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

Synchronous Estelle: Just Another Synchronous Language?

[BibT_eX]

[DOI]

Miguel Riesco

Proceedings of the Synchronous Languages, Applications and Programming, 2003

A Modular Tool for Automated Coverage in Software Testing.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003

Improvement of Test Data by Measuring SQL Statement Coverage.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003

Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Generación Automática y Paralela de Entornos en la Verificación de Componentes Software.

[BibT_eX]

Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

Pruebas automáticas de cobertura de software mediante una herramienta basada en Búsqueda Tabú.

[BibT_eX]

Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

Mejora de casos de prueba midiendo la cobertura de sentencias SQL.

[BibT_eX]

Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

A Decision Support System for Preventing and Correcting Burden Slips, Drops and Hangs in a Blast Furnace.

[BibT_eX]

Proceedings of the ICEIS 2003, 2003

2002

Comparación de técnicas metaheurísticas para la generación automática de casos de prueba que obtengan una cobertura de software.

[BibT_eX]

[DOI]

Proceedings of the ADIS 2002, Apoyo a la Decisión en Ingeniería del Software, 2002

Medida de la cobertura de consultas SQL.

[BibT_eX]

[DOI]

José Cristóbal Riquelme Santos

Proceedings of the ADIS 2002, Apoyo a la Decisión en Ingeniería del Software, 2002

2001

SEGESOFT: Entorno de Entrenamiento para la Gestión de Proyectos Software.

[BibT_eX]

Isabel Ramos

Jesús S. Aguilar-Ruiz

Francisco J. Ferrer-Troyano

Mercedes Ruiz-Carreira

Daniel Rodríguez-García

Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001

Generación de Restricciones del Entorno para Verificación Modular Utilizando Reglas de Asociación.

[BibT_eX]

Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001

An Expert System for Ironmaking.

[BibT_eX]

[DOI]

José Antonio López Brugos

Marta Hermida

Ángel Neira

Alfredo Alguero

Faustino Obeso

Proceedings of the Engineering of Intelligent Systems, 2001

A Knowledge-Acquisition Methodology for a Blast Furnace Expert System Using Machine Learning Techniques.

[BibT_eX]

Faustino Obeso

Proceedings of the ICEIS 2001, 2001

2000

Verificación Formal del Sistema de Control de Acceso a Applicaciones Corporativas de la F.L.C.

[BibT_eX]

Ester Suárez-Calvo

Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno.

[BibT_eX]

Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

An Architecture for On-Line Intelligent Control of Blast Furnaces.

[BibT_eX]

José Antonio López Brugos

Marta Hermida

Ángel Neira

Alfredo Alguero

Faustino Obeso

Proceedings of the ICEIS 2000, 2000

Building Internet Shops: Current Status of the Cities Project.

[BibT_eX]

Proceedings of the ICEIS 2000, 2000

1999

Verificación Formal del Subsistema de Identificación de Clientes en una Tienda Virtual.

[BibT_eX]

José A. Corrales

Proceedings of the IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99), 1999

TIBLEUS: A Model to Build Internet Online Support Services Using ASP.

[BibT_eX]

Proceedings of the 1st International Conference on Enterprise Information Systems, 1999

Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 1999

1996

Dynamic analysis of SA/RT models using Spin and modular verification.

[BibT_eX]

[DOI]

Proceedings of the Spin Verification System, 1996

1995

Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models.

[BibT_eX]

[DOI]

Luciano Sánchez

José A. Corrales

Proceedings of the 5th European Software Engineering Conference, 1995

1993

Information modelling: specification and implementation: D Edmond Prentice-Hall (1992) 590 pp £22.95 ISBN 0 13 457748 5.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1993

Combination of Self-Organizing Maps and Multilayer Perceptrons for Speaker Independent Isolated Word Recognition.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Neural Computation, 1993

A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering, 1993

1992

Managing computer projects : R Gibson Prentice Hall International (UK) (1992) 161 pp £22.95 ISBN 0 13 159591 1.

[BibT_eX]

[DOI]