Web Application Programming Interfaces (APIs) allow software systems to interact with each other over the network. Web ...

Automated test case generation for web APIs is a thriving research topic, where test cases are frequently derived from the ...

Cyber-physical systems (CPSs) are a new generation of systems, which integrate software with physical processes. The increasing ...

Searching and displaying data based on user queries is a pervasive feature of most software applications such as information ...

Mutation testing exploits artificial faults to measure the adequacy of test suites and guide their improvement. It has ...

artifi-cial intelligence (AI), methods have been proposed and evaluated in academia to assess the reliability of these ...

Automated test case generation for RESTful web APIs is a thriving research topic due to their key role in software integration. ...

Web services often impose inter-parameter dependencies that restrict the way in which two or more input parameters can be ...

Context: Web services often impose constraints that restrict the way in which two or more input parameters can be combined ...

Proveer al usuario con opciones de búsqueda avanzada que faciliten el acceso a los datos que busca es una característica ...

Context: Software applications exposing a high ability to be extended, changed or configured are usually referred to as ...

Performance bugs are known to be a major threat to the success of software products. Performance tests aim to detect ...

Automated test case generation for RESTful APIs is a thriving research topic due to their critical role in software integration. ...

La generación automática de casos de prueba para APIs REST es un tema de investigación muy activo. La mayoría de técnicas ...

Testing RESTful APIs thoroughly is critical due to their key role in software integration. Existing tools for the automated ...

En el contexto de los medios de comunicación, las noticias falsas (también conocidas como fake news), son un tipo de noticia ...

A Software Product Line (SPL) is a set of products built from a number of features, the set of valid products being defined ...

This paper reports our experience in flipping a second- year undergraduate course on software architecture and integration, ...

The detection of performance bugs, like those causing an unexpected execution time, has gained much attention in the last ...

Contribution: This article presents an experience report on the application of flipped classroom (FC) to the laboratory ...

Automated testing approaches for RESTful web APIs typi cally follow a black-box strategy, where test cases are derived ...

What if we could know that a program is buggy, even if we could not tell whether or not its observed output is correct? ...

Elevators are among the oldest and most widespread transportation systems, yet their complexity increases rapidly to satisfy ...

Searching and displaying data based on user queries is a key feature of most software applications such as information ...

Las pruebas de interfaz de usuario son una técnica muy popular gracias a su capacidad para validar el comportamiento de ...

En este artículo describimos nuestra experiencia al aplicar la metodología de clase invertida en la asigna tura Arquitectura ...

Web services often impose dependency constraints that re strict the way in which two or more input parameters can be ...

Web APIs following the REST architectural style (so-called RESTful Web APIs) have become the de-facto standard for ...

Web APIs following the REST architectural style (so-called RESTful web APIs) have become the de-facto standard for software ...

This document is an extended abstract of an IEEE Software paper, “Metamorphic Testing: Testing the Untestable,” presented ...

Trivial Compiler Equivalence (TCE) has been recently proposed as an effective technique to detect equivalences between ...

Context. Performance testing is a challenging task mainly due to the lack of test oracles, i.e. mechanisms to decide whether ...

Model transformations play a cornerstone role in Model-Driven Engineering (MDE) as they provide the essential mechanisms ...

Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they provide the essential mechanisms ...

Performance bugs are common, costly, and elusive. Performance tests aim to detect performance bugs by running the program ...

Los defectos de rendimiento del software pueden causar una importante degradación en la experiencia de usuario y dar lugar ...

Performance bugs are common and can cause a significant deterio ration in the behaviour of a program, leading to costly ...

Two of the key challengesin software testing are the automated gen eration of test cases, and the identification of failures ...

Context: Software Product Line (SPL) testing is challenging mainly due to the potentially huge number of products under ...

Variability testing techniques search for effective and manageable test suites that lead to the rapid detection of faults ...

Web service based applications often invoke services provided by third-parties in their workflow. The Quality of Service ...

Performance testing is a challenging task mainly due to the lack of test oracles, that is, mechanisms to decide whether the ...

Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among different ...

Model transformations play a cornerstone role in Model-Driven Engineering as they provide the essential mechanisms for ...

Web Application Programming Interfaces (APIs) allow systems to interact with each other over the network. Modern Web APIs ...

is tutorial introduces and demonstrates the use of Model-Driven Engineering in So ware Product Lines. In particular, it ...

Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among ...

Test case prioritization techniques aim to identify the optimal ordering of tests to accelerate the detection of faults. ...

Mutation testing is an effective but costly testing technique. Several studies have observed that some mutants can be ...

The reduction of the expenses of mutation testing should be based on well-studied cost reduction techniques to avoid bi ...

Highly-configurable software systems (HCSs) provide a common core functionality and a set of optional features, where a ...

A test oracle determines whether a test execution reveals a fault, often by comparing the observed program output to the ...

Test case prioritization schedules test cases for execution in an order that attempts to accelerate the detection of faults. ...

A feature model specifies the sets of features that define valid products in a software product line. Recent work has ...

Model transformations are the cornerstone of Model-Driven Engineering, and provide the essential mechanisms for manipulating ...

Realizar pruebas software de manera correcta es un ejercicio sumamente importante ya que depurar, testear, y las actividades ...

Organizaciones como Netflix, Google o Amazon hacen uso de arquitecturas basadas en micro-servicios, lo que ha disparado ...

A test oracle determines whether a test execution reveals a fault, often by comparing the observed program output to ...

A pesar del beneficio que puede reportar la prueba de muta ciones en el proceso de prueba de software, el coste que supone ...

Variability determines the capability of software applications to be configured and customized. A common need during the ...

Successful software evolves from a single system by adding and changing functionality to keep up with users’ demands and ...

In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations ...

In this paper, we report on our experience on the development of La Hilandera, an e-commerce site selling haberdashery products ...

Software Product Line (SPL) testing is challenging due to the potentially huge number of derivable products. To alleviate ...

Variability testing techniques search for effective but manageable test suites that lead to the rapid detection of faults ...

In service oriented scenarios, applications are created by composing atomic services and exposing the resulting added value ...

The number and variety of experiments carried in software engineering research is growing, leading to a increasing need ...

A feature model is a compact representation of the products of a software product line. The automated extraction of ...

Testing variability-intensive systems is a challenge due to the potentially huge number of derivable configurations. To ...

Muchas de las situaciones a las que nos enfrentamos cada día pueden expresarse como problemas de optimización. Un problema ...

Variability determines the ability of software applications to be configured and customized. A common need during the ...

Metaheuristics are algorithmic schemes that ease the derivation of novel algorithms to solve optimization problems. These ...

The automated analysis of feature models is a ourishing research topic that has called the attention of both researchers and ...

Successful software evolves, more and more commonly, from a single system to a set of system variants tailored to meet the ...

A feature model defines the valid combinations of features in a domain. The automated extraction of information from feature ...

El análisis automático de modelos de características es un área de investigación activo que ha llamado la atencíon de ...

The automated analysis operations of WS–Agreement documents proposed in recent works [1, 2, 3, 4] uses complex techniques ...

A feature model defines the valid combinations of features in a domain. The automated extraction of information from feature ...

The automated detection of faults on variability analysis tools is a challenging task often infeasible due to the combinatorial ...

Software product lines are rapidly gaining importance across different application domains. This software production ...

Context: The increasing presence of Object–Oriented (OO) programs in industrial systems is progressively drawing the ...

Context. A Feature Model (FM) represents the valid combinations of features in a domain. The automated extraction of ...

A Feature Model (FM) is a compact representation of all the products of a software product line. Automated analysis of FMs ...

The automated analysis of variability models in general and feature models in particular is a thriving research topic. ...

A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction ...

A Feature Model (FM) is a compact representation of all the products of a software product line. Automated analysis of FMs ...

Software product line engineering is about producing a set of related products that share more commonalities than variabilities. ...

La ingeniería de líneas de productos es un paradigma de desarrollo orientado a construir familias de sistemas software que ...

The automated analysis of Feature Models (FMs) is becoming a well-established discipline. New analysis operations, tools ...

Visualizing and manipulating large feature diagrams is still an open issue for the SPL community. Few effort has been made ...

The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement ...

FAMA Framework (FAMA FW) is a tool for the automated analysis of variability models (VM). Its main objective is providing ...

Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In ...

Building Web design models from requirements specification is recognised as a timeconsuming and error-prone task. in this ...

Software Produ t Line (SPL) development is an approa h to develop families of software systems in a systemati way. A Feature ...

The automated analysis of feature models is recognized as one of the key challenges for automated software development in ...

The combination of Software Product Lines (SPL) and Service-Oriented Architectures (SOA) development practices is expected ...

Open-Source (OS) software development differs widely from close-source development practices because of a number of reasons: ...

Feature modelling is a common mechanism for variability management in the context of software product lines. After years ...

Feature models are one of the most important assets in software product line engineering when capturing variability. ...

Feature models are widely used to represent product lines and they are key parts of the development process in agile ...

Feature Models are used in different stages of software development and are recognized to be an important asset in model ...