Web APIs often include inter-parameter dependencies that constrain how input parameters can be combined to form valid calls ...

Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a ...

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 ...

The generation of code templates from REST API specifications is a common practice in industry. However, existing tools ...

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 ...

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 ...

La generación automática de casos de prueba para APIs RESTful es un área de investigación en auge, dado el rol que desempeñan ...

Las Interfaces de Programación de Aplicaciones (APIs) web tienen un papel clave en la integración de aplicaciones, por lo ...

Las Interfaces de Programación de Aplicaciones (APIs) web desempeñan un papel clave en la integración de aplicaciones, por ...

Los servicios web suelen imponer dependencias entre parámetros (también llamadas dependencias inter-parámetro) que restringen ...

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

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 ...

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

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

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 ...

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

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

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

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

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

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 ...

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 ...

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

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

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 software ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 ...

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 ...

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

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

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

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

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

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

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

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

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

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

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 ...

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 ...

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

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

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

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

La priorización de pruebas consiste en establecer un orden de ejecución para los casos de prueba que permita alcanzar un ...

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

Extracting relevant information from variability models is an important task to support decision-making in product line development and product configuration.

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

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

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

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

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

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 ...

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

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

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. ...

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

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

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. ...

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 ...

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

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

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

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

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

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 ...

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

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 ...