Claudio de la Riva

dblp:85/4311 · also Claudio de la Riva Alvarez · DBLP profile ↗
← Back
18ranked-venue papers
3as first author
4since 2021 · last 2026
0000-0001-5592-9683ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 16 · 3 first-author · 4 since 2021Applied, interdisciplinary, general and emerging computing · 2
YearPublicationVenuePosition
2026 A Framework for Similarity-based and Resource-aware Orchestration of End-to-End Test Cases
Cristian Augusto, Antonia Bertolino, Guglielmo De Angelis, Claudio de la Riva, Francesca Lonetti, Jesús Morán
AST4
2025 RETORCH*: A Cost and Resource aware Model for E2E Testing in the Cloud
abstract
Moving testing to the Cloud overcomes time/resource constraints by leveraging an unlimited and elastic infrastructure, especially for testing levels like End-to-End (E2E) that require a high number of resources and/or execution time. However, it introduces new challenges to those already faced on-premises, like selecting the most suitable Cloud infrastructure and billing scheme. We propose the RETORCH* test execution model that estimates and compares the monetary cost of executing an E2E test suite with different Cloud alternatives, billing schemes, and test configurations. RETORCH* goes beyond the mere cost billed, and selects the solution that best aligns with the test team strategy using the data of on-premises prior executions and the tester's experience. This cost is broken down into the cost incurred to execute the test suite (testing cost) and possible unused infrastructure (overprovisioning cost). Based on these distinct costs, the test team can compare different Cloud and test configurations. RETORCH* has been evaluated using a real-world application's E2E test suite. We analyze how the different decisions taken when the suite is migrated to the Cloud impact the cost, highlighting how RETORCH* can help the tester during Cloud and test configuration to make a more informed decision.
Cristian Augusto, Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
J. Syst. Softw.4
2024 Software System Testing Assisted by Large Language Models: An Exploratory Study
Cristian Augusto, Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
ICTSS4
2024 Automatic Debugging of Design Faults in MapReduce Applications
abstract
Among the current technologies to analyse large data, the MapReduce processing model stands out in Big Data. MapReduce is implemented in frameworks such as Hadoop, Spark or Flink that are able to manage the program executions according to the resources available at runtime. The developer should design the program in order to support all possible non-deterministic executions. However, the program may fail due to a design fault. Debugging these kinds of faults is difficult because the data are executed non-deterministically in parallel and the fault is not caused directly by the code, but by its design. This paper presents a framework called MRDebug which includes two debugging techniques focused on the MapReduce design faults. A spectrum-based fault localization technique locates the root cause of these faults analysing several executions of the test case, and a Delta Debugging technique isolates the data relevant to trigger the failure. An empirical evaluation with 13 programs shows that MRDebug is effective in debugging the faults, especially when the localization is done with the reduced data. In summary, MRDebug automatically provides valuable information to understandMapReducedesign faults as it helps locate their root cause and obtains a minimal data that triggers the failure.
Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
IEEE Trans. Software Eng.3
2020 FlakyLoc: Flakiness Localization for Reliable Test Suites in Web Applications
abstract
Web application testing is a great challenge due to the management of complex asynchronous communications, the concurrency between the clients-servers, and the heterogeneity of resources employed. It is difficult to ensure that a test case is re-running in the same conditions because it can be executed in undesirable ways according to several environmental factors that are not easy to fine-grain control such as network bottlenecks, memory issues or screen resolution. These environmental factors can cause flakiness, which occurs when the same test case sometimes obtains one test outcome and other times another outcome in the same application due to the execution of environmental factors. The tester usually stops relying on flaky test cases because their outcome varies during the re-executions. To fix and reduce the flakiness it is very important to locate and understand which environmental factors cause the flakiness. This paper is focused on the localization of the root cause of flakiness in web applications based on the characterization of the different environmental factors that are not controlled during testing. The root cause of flakiness is located by means of spectrum-based localization techniques that analyse the test execution under different combinations of the environmental factors that can trigger the flakiness. This technique is evaluated with an educational web platform called FullTeaching. As a result, our technique was able to locate automatically the root cause of flakiness and provide enough information to both understand it and fix it.
Jesús Morán, Cristian Augusto, Antonia Bertolino, Claudio de la Riva, Javier Tuya
J. Web Eng.4
2020 RETORCH: an approach for resource-aware orchestration of end-to-end test cases
Cristian Augusto, Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
Softw. Qual. J.4
2019 Debugging Flaky Tests on Web Applications
abstract
International Conference on Web Information Systems and Technologies, WEBIST (15th. 2019. Vienna, Austria)
Jesús Morán, Cristian Augusto, Antonia Bertolino, Claudio de la Riva, Javier Tuya
WEBIST4
2019 Testing MapReduce programs: A systematic mapping study
abstract
Summary Context MapReduce is a processing model used in Big Data to facilitate the analysis of large data under a distributed architecture. Objective The aim of this study is to identify and categorize the state of the art of software testing in MapReduce applications, determining trends and gaps. Method Systematic mapping study to discuss and classify according to international standards 54 relevant studies in relation to reasons for testing, types of testing, quality characteristics, test activities, tools, roles, processes, test levels, and research validations. Results The principal reasons for testing MapReduce applications are performance issues, potential failures, issues related to the data, or to satisfy the agreements with efficient resources. The efforts are focused on performance and, to a lesser degree, on functionality. Performance testing is carried out through simulation and evaluation, whereas functional testing considers some program characteristics (such as specification and structure). Despite the type of testing, the majority of efforts are focused at the unit and integration test levels of the specific MapReduce functions without considering other parts of the technology stack. Conclusions Researchers have both opportunities and challenges in performance and functional testing, and there is room to improve their research though the use of mature and standard validation methods.
Jesús Morán, Claudio de la Riva, Javier Tuya
J. Softw. Evol. Process.2
2018 Automatic Testing of Design Faults in MapReduce Applications
abstract
New processing models are being adopted in Big Data engineering to overcome the limitations of traditional technology. Among them, MapReduce stands out by allowing for the processing of large volumes of data over a distributed infrastructure that can change during runtime. The developer only designs the functionality of the program and its execution is managed by a distributed system. As a consequence, a program can behave differently at each execution because it is automatically adapted to the resources available at each moment. Therefore, when the program has a design fault, this could be revealed in some executions and masked in others. However, during testing, these faults are usually masked because the test infrastructure is stable, and they are only revealed in production because the environment is more aggressive with infrastructure failures, among other reasons. This paper proposes new testing techniques that aimed to detect these design faults by simulating different infrastructure configurations. The testing techniques generate a representative set of infrastructure configurations that as whole are more likely to reveal failures using random testing, and partition testing together with combinatorial testing. The techniques are automated by using a test execution engine called MRTest that is able to detect these faults using only the test input data, regardless of the expected output. Our empirical evaluation shows that MRTest can automatically detect these design faults within a reasonable time.
Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
IEEE Trans. Reliab.3
2017 Towards Ex Vivo Testing of MapReduce Applications
abstract
Big Data programs are those that process large data exceeding the capabilities of traditional technologies. Among newly proposed processing models, MapReduce stands out as it allows the analysis of schema-less data in large distributed environments with frequent infrastructure failures. Functional faults in MapReduce are hard to detect in a testing/preproduction environment due to its distributed characteristics. We propose an automatic test framework implementing a novel testing approach called Ex Vivo. The framework employs data from production but executes the tests in a laboratory to avoid side-effects on the application. Faults are detected automatically without human intervention by checking if the same data would generate different outputs with different infrastructure configurations. The framework (MrExist) is validated with a real-world program. MrExist can identify a fault in a few seconds, then the program can be stopped, not only avoiding an incorrect output, but also saving money, time and energy of production resources.
Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya
QRS3
2017 Incremental test data generation for database queries
María José Suárez-Cabal, Claudio de la Riva, Javier Tuya, Raquel Blanco
Autom. Softw. Eng.2
2016 Coverage-Aware Test Database Reduction
abstract
Functional testing of applications that process the information stored in databases often requires a careful design of the test database. The larger the test database, the more difficult it is to develop and maintain tests as well as to load and reset the test data. This paper presents an approach to reduce a database with respect to a set of SQL queries and a coverage criterion. The reduction procedures search the rows in the initial database that contribute to the coverage in order to find a representative subset that satisfies the same coverage as the initial database. The approach is automated and efficiently executed against large databases and complex queries. The evaluation is carried out over two real life applications and a well-known database benchmark. The results show a very large degree of reduction as well as scalability in relation to the size of the initial database and the time needed to perform the reduction.
Javier Tuya, Claudio de la Riva, María José Suárez-Cabal, Raquel Blanco
IEEE Trans. Software Eng.2
2010 A Proactive Approach to Test Service Level Agreements
abstract
Service Oriented Architectures (SOA) have emerged as a promising solution to develop interoperable and highly dynamic applications. In the domain of SOA, Service Level Agreements (SLAs) are used to specify the stipulated terms between the service provider and the consumer. Due to the unique features of this paradigm such as SLA management, testing SOA presents new challenges to researchers because traditional testing techniques need to be suitably adapted. It is important for both stakeholders to develop proactive approaches that allow the detection of problems before they may later derive in SLA violations. This paper tackles the problem of testing the terms of the SLA, specified in WS-Agreement language, by introducing a stepwise method based on a well-known partition testing technique. The approach is illustrated over a case study.
Marcos Palacios, José García-Fanjul, Javier Tuya, Claudio de la Riva
ICSEA4
2010 Full predicate coverage for testing SQL database queries
abstract
Abstract In the field of database applications a considerable part of the business logic is implemented using a semi‐declarative language: the Structured Query Language (SQL). Because of the different semantics of SQL compared with other procedural languages, the conventional coverage criteria for testing are not directly applicable. This paper presents a criterion specifically tailored for SQL queries (SQLFpc). It is based on Masking Modified Condition Decision Coverage (MCDC) or Full Predicate Coverage and takes into account a wide range of the syntax and semantics of SQL, including selection, joining, grouping, aggregations, subqueries, case expressions and null values. The criterion assesses the coverage of the test data in relation to the query that is executed and it is expressed as a set of rules that are automatically generated and efficiently evaluated against a test database. The use of the criterion is illustrated in a case study, which includes complex queries. Copyright © 2010 John Wiley & Sons, Ltd.
Javier Tuya, María José Suárez-Cabal, Claudio de la Riva
Softw. Test. Verification Reliab.3
2007 Mutating database queries
Javier Tuya, María José Suárez-Cabal, Claudio de la Riva
Inf. Softw. Technol.3
2006 A Partition-Based Approach for XPath Testing
abstract
The XML language is becoming the preferred means of data interchange and representation in web based applications. Usually, XML data is stored in XML repositories, which can be accessed efficiently using the standard XPath as query language. However, the specific techniques for testing these queries often ignore the functional testing. This work addresses this problem by introducing a technique based on the category-partition method for the systematic design of test input data for an XPath query. The method permits the automatic identification of categories and choices in the XPath and XML Schema implementations and the construction of constraints in order to obtain complete and valid test cases. The technique is illustrated over a practical example.
Claudio de la Riva, José García-Fanjul, Javier Tuya
ICSEA1
2006 Automatic generation of assumptions for modular verification of software specifications
Claudio de la Riva, Javier Tuya
J. Syst. Softw.1
2004 Modular Model Checking of Software Specifications with Simultaneous Environment Generation
Claudio de la Riva, Javier Tuya
ATVA1