Buscar
Mostrando ítems 21-29 de 29
Informe
A test suite for an Agreement Document Analyser (v 1.0) : Technical Report ISA–12–TR–03
(2012)
The automated analysis operations of WS–Agreement documents proposed in recent works [1, 2, 3, 4] uses complex techniques of constraint programming as well as auxiliary code for agreement documents handling (XML documents ...
Informe
Artículo
SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization
(ACM, 2016)
A feature model specifies the sets of features that define valid products in a software product line. Recent work has considered the problem of choosing optimal products from a feature model based on a set of user preferences, ...
Informe
Metamorphic Testing: A Literature Review - Version 1.3 (Technical Report ISA-16-TR-02)
(2016)
A test oracle determines whether a test execution reveals a fault, often by comparing the observed program output to the expected output. This is not always practical, for example when a program’s input-output relation ...
Artículo
Automated Generation of Computationally Hard Feature Models Using Evolutionary Algorithms
(Elsevier, 2014)
A feature model is a compact representation of the products of a software product line. The automated extraction of information from feature models is a thriving topic involving numerous analysis operations, techniques ...
Informe
Metamorphic Relation Template v1.0 : Technical Report ISA-17-TR-01
(2017)
Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among different executions of the program under test, called metamorphic relations. In a recent survey, we ...
Informe
Automated Metamorphic Testing on the Analysis of Software Variability: Technical Report ISA-2013-TR-03
(2013)
Variability determines the ability of software applications to be configured and customized. A common need during the development of variability–intensive systems is the automated analysis of their underlying variability models, ...
Artículo
Performance mutation testing: hypothesis and open questions
(Elsevier, 2018)
Performance bugs are common, costly, and elusive. Performance tests aim to detect performance bugs by running the program with specific inputs and determining whether the observed behaviour is acceptable. There not ...
Artículo
Automated metamorphic testing of variability analysis tools
(Wiley, 2015)
Variability determines the capability of software applications to be configured and customized. A common need during the development of variability–intensive systems is the automated analysis of their underlying variability ...