Buscar
Mostrando ítems 1-8 de 8
Ponencia
Uniform and scalable SAT-sampling for configurable systems
(Association for Computing Machinery (ACM), 2020)
Several relevant analyses on configurable software systems remain intractable because they require examining vast and highly-constrained configuration spaces. Those analyses could be addressed through statistical inference, ...
Ponencia
Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance
(Springer, 2020)
The completion of partial configurations might represent an expensive computational task. Existing solutions, such as those which use modern constraint satisfaction solvers, perform a complete search, making them unsuitable ...
Ponencia
A first prototype of a new repository for feature model exchange and knowledge sharing
(Association for Computing Machinery (ACM), 2021)
Feature models are the “de facto” standard for variability modelling and are used in both academia and industry. The MODEVAR initia tive tries to establish a common textual feature modelling language that can be used by ...
Ponencia
Una herramienta para aplicar técnicas de Montecarlo al análisis de modelos de características
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021)
La mayoría de los sistemas configurables describen un amplio espacio de soluciones que hacen intratable su exploración exhaustiva. En la literatura encontramos técnicas de análisis como la resolución SAT o la programación ...
Ponencia
Monte Carlo Tree Search for Feature Model Analyses: a General Framework for Decision-Making
(Association for Computing Machinery (ACM), 2021)
The colossal solution spaces of most configurable systems make intractable their exhaustive exploration. Accordingly, relevant anal-yses remain open research problems. There exist analyses alterna-tives such as SAT ...
Ponencia
Configuration assisted through conversational agents (chatbots and voicebots)
(Università degli Studi di Padova, 2020)
Ponencia
Functional Testing of Conflict Detection and Diagnosis Tools in Feature Model Configuration: A Test Suite Design
(Università degli Studi di Padova, 2020)
Ponencia
Monte Carlo Simulations for Variability Analyses in Highly Configurable Systems
(CEUR Workshop Proceedings (CEUR-WS.org), 2021)
Highly configurable systems expose numerous variation points to be configured by the stakeholders. Deciding which variant to select for a given variation point is hard to know a priori because each variant affects the ...