Applications of# SAT solvers on feature models
Product lines are ubiquitous for managing variable systems. The variability of a product line
is typically described in terms of a feature model. Analyzing a feature model gives insight …
is typically described in terms of a feature model. Analyzing a feature model gives insight …
Monte Carlo tree search for feature model analyses: a general framework for decision-making
The colossal solution spaces of most configurable systems make intractable their exhaustive
exploration. Accordingly, relevant analyses remain open research problems. There exist …
exploration. Accordingly, relevant analyses remain open research problems. There exist …
Inconsistency-tolerating guidance for software engineering processes
Software processes, together with software quality assurance, focus on ensuring and
attesting that the engineering processes result in the appropriate software quality. Complex …
attesting that the engineering processes result in the appropriate software quality. Complex …
Monte Carlo simulations for variability analyses in highly configurable systems
JM Horcas Aguilera, A Márquez… - CWS/ConfWS 2021 …, 2021 - idus.us.es
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 …
stakeholders. Deciding which variant to select for a given variation point is hard to know a …
Monte Carlo Tree Search for Feature Model Analyses: a General Framework for Decision-Making
JM Horcas Aguilera, JÁ Galindo Duarte… - SPLC 2021: 25th …, 2021 - idus.us.es
The colossal solution spaces of most configurable systems make intractable their exhaustive
exploration. Accordingly, relevant anal-yses remain open research problems. There exist …
exploration. Accordingly, relevant anal-yses remain open research problems. There exist …
Una herramienta para aplicar técnicas de Montecarlo al análisis de modelos de características
JM Horcas, AGM Trujillo, JA Galindo… - Actas de las XXV …, 2021 - dialnet.unirioja.es
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 …
hacen intratable su exploración exhaustiva. En la literatura encontramos técnicas de …
Una herramienta para aplicar técnicas de Montecarlo al análisis de modelos de características
JM Horcas Aguilera, AG Márquez Trujillo… - JISBD 2021: XXV …, 2021 - idus.us.es
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 …
hacen intratable su exploración exhaustiva. En la literatura encontramos técnicas de …
可変性マイニングによるFTS の構築
岸知二， 小山大揮 - 研究報告ソフトウェア工学(SE), 2021 - ipsj.ixsq.nii.ac.jp
論文抄録 可変性を持つシステムのふるまいを記述するための状態遷移モデルである FTS (Feature
Transition Systems) は, 製品系列のテストなどに有用である. 本稿ではデバイスと接続される …
Transition Systems) は, 製品系列のテストなどに有用である. 本稿ではデバイスと接続される …
モデルカウンターを使ったFM の特徴把握方法の提案
楊宇きん， 北村崇師， 岸知二 - 第83 回全国大会講演論文集, 2021 - ipsj.ixsq.nii.ac.jp
論文抄録 可変性管理は SPL 開発だけでなく, 多くの設定パラメータを持つシステムの開発において
も重要な問題となっている. 可変性管理では FM のような可変性モデルが使われるが …
も重要な問題となっている. 可変性管理では FM のような可変性モデルが使われるが …