Buscar
Mostrando ítems 11-20 de 23
Ponencia
An Approach for Debugging Model Transformations Applying Spectrum-Based Fault Localization
(Universidad de la Laguna, 2017)
Model transformations play a cornerstone role in Model-Driven Engineering as they provide the essential mechanisms for manipulating and transforming models. The use of assertions for checking their correctness has ...
Artículo
Metamorphic Testing of RESTful Web APIs
(IEEE Computer Society, 2017)
Web Application Programming Interfaces (APIs) allow systems to interact with each other over the network. Modern Web APIs often adhere to the REST architectural style, being referred to as RESTful Web APIs. RESTful Web ...
Artículo
Automated inference of likely metamorphic relations for model transformations
(Elsevier, 2018)
Model transformations play a cornerstone role in Model-Driven Engineering (MDE) as they provide the essential mechanisms for manipulating and transforming models. Checking whether the output of a model transformation is ...
Ponencia
Identificación Automática de Relaciones Metamórficas en Sistemas de Búsqueda
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021)
Proveer al usuario con opciones de búsqueda avanzada que faciliten el acceso a los datos que busca es una característica común de muchos sistemas software, tales como sistemas de información, sistemas de comercio electrónico ...
Ponencia
Especificación y Análisis Automático de Dependencias Inter-Parámetro en APIs Web
(Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021-09)
Los servicios web suelen imponer dependencias entre parámetros (también llamadas dependencias inter-parámetro) que restringen el modo en que dos o más parámetros de entrada pueden combinarse para formar una llamada válida. ...
Capítulo de Libro
Evaluating Testing Techniques in Highly-Configurable Systems: The Drupal Dataset
(Auerbach Publications, 2021)
Context: Software applications exposing a high ability to be extended, changed or configured are usually referred to as Highly-Configurable Systems (HCSs). Testing techniques for HCSs aim at finding effective but manageable ...
Ponencia
Functional Testing of Feature Model Analysis Tools. A First Step
(2008)
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementation of these operations using a specific ...
Ponencia
Black-Box and White-Box Test Case Generation for RESTful APIs: Enemies or Allies?
(IEEE Computer Society, 2021)
Automated test case generation for RESTful APIs is a thriving research topic due to their critical role in software integration. Testing approaches can be divided into black-box and white-box. Black-box approaches exploit ...
Ponencia
Automated Generation of Metamorphic Relations for Query-Based Systems
(IEEE Computer Society, 2022)
Searching and displaying data based on user queries is a pervasive feature of most software applications such as information systems, web portals, and web APIs. The large volume of data managed by these types of systems, ...
Ponencia
Towards Multi-Objective Test Case generation for Variability-Intensive Systems
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2014)
Testing variability-intensive systems is a challenge due to the potentially huge number of derivable configurations. To alleviate this problem, many test case selection and prioritization techniques have been proposed with ...