Buscar
Mostrando ítems 31-40 de 285
Ponencia
EVFUZZYSYSTEM: evolución de sistemas difusos para problemas de regresión multi-dimensionales
(Universidad de Huelva, 2010)
Este trabajo presenta EvFuzzySystem, un método evolutivo que permite el diseño com pleto de sistemas de lógica difusa, generando de forma simultánea funciones miembro y conjunto de reglas apropiados. EvFuzzySys tem ...
Ponencia
Automated testing on the analysis of variability-intensive artifacts: An exploratory study with SAT Solvers
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2012)
The automated detection of faults on variability analysis tools is a challenging task often infeasible due to the combinatorial com plexity of the analyses. In previous works, we successfully automated the generation of ...
Ponencia
A Template–Based Approach to Describing Metamorphic Relations
(IEEE Computer Society, 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 ...
Artículo
CarGene: Characterisation of sets of genes based on metabolic pathways analysis
(Inderscience, 2011)
The great amount of biological information provides scientists with an incomparable framework for testing the results of new algorithms. Several tools have been developed for analysing gene-enrichment and most of them ...
Ponencia
Una arquitectura para el diseño de soluciones de integración de aplicaciones empresariales con soporte para tolerancia a fallos
(2010-09)
Las soluciones de integración de aplicaciones empresariales (EAI) suelen estar basadas en workflows de mensajes gracia a los cuales es posible conseguir que dos o más aplicaciones cooperen para proporcionar un nuevo servicio ...
Ponencia
Lightweight Testing of Communication Networks with e-Motions
(Springer, 2011)
This paper illustrates the use of high-level domain specific models to specify and test some performance properties of complex systems, in particular Communication Networks, using a light-weight approach. By following ...
Ponencia
SmarTest: A Test Case Prioritization Tool for Drupal
(Association for Computing Machinery (ACM), 2017)
Test case prioritization techniques aim to identify the optimal ordering of tests to accelerate the detection of faults. The importance of these techniques has been recognized in the context of Software Product Lines (SPLs), ...
Artículo
Optimization of multi-classifiers for computational biology: application to gene finding and expression
(Springer, 2010)
Genomes of many organisms have been sequenced over the last few years. However, transforming such raw sequence data into knowledge remains a hard task. A great number of prediction programs have been developed to address ...
Ponencia
Domain-Specific Languages and Model Transformations for Soft ware Product Line
(ACM Digital Library, 2017)
is tutorial introduces and demonstrates the use of Model-Driven Engineering in So ware Product Lines. In particular, it teaches participants about domain-speci c languages, metamodeling and modeling, and where these ...
Artículo
Analysis of the Influence of Starting Materials and Processing Conditions on the Properties of W/Cu Alloys
(MDPI, 2017)
In this work, a study of the influence of the starting materials and the processing time used to developW/Cu alloys is carried out. Regarding powder metallurgy as a promising fabrication route, the difficulties in ...