Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Yet another textual variability language? a community effort towards a unified language
Variability models are commonly used to model commonalities and variability in a product
line. There is a large variety of textual formats to represent and store variability models. This …
line. There is a large variety of textual formats to represent and store variability models. This …
Uniform and scalable sampling of highly configurable systems
Many analyses on configurable software systems are intractable when confronted with
colossal and highly-constrained configuration spaces. These analyses could instead use …
colossal and highly-constrained configuration spaces. These analyses could instead use …
Software product line testing: a systematic literature review
Abstract A Software Product Line (SPL) is a software development paradigm in which a
family of software products shares a set of core assets. Testing has a vital role in both single …
family of software products shares a set of core assets. Testing has a vital role in both single …
Tseitin or not tseitin? the impact of cnf transformations on feature-model analyses
Feature modeling is widely used to systematically model features of variant-rich software
systems and their dependencies. By translating feature models into propositional formulas …
systems and their dependencies. By translating feature models into propositional formulas …
Automated test suite generation for software product lines based on quality-diversity optimization
A Software Product Line (SPL) is a set of software products that are built from a variability
model. Real-world SPLs typically involve a vast number of valid products, making it …
model. Real-world SPLs typically involve a vast number of valid products, making it …
Travart: An approach for transforming variability models
A large number of variability modeling approaches have been developed including feature
modeling, decision modeling, and Orthogonal Variability Modeling (OVM). Multiple variants …
modeling, decision modeling, and Orthogonal Variability Modeling (OVM). Multiple variants …
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 …
On the benefits of knowledge compilation for feature-model analyses
In practice, feature models often have up-to thousands of features and, thus, are typically
infeasible to analyze manually. Hence, many different analyses have been proposed which …
infeasible to analyze manually. Hence, many different analyses have been proposed which …
Beyond pairwise testing: Advancing 3-wise combinatorial interaction testing for highly configurable systems
To meet the rising demand for software customization, highly configurable software systems
play key roles in practice. Combinatorial interaction testing (CIT) is recognized as an …
play key roles in practice. Combinatorial interaction testing (CIT) is recognized as an …
Bridging the gap between academia and industry: transforming the universal variability language to pure:: variants and back
In the last 30 years, many variability modeling approaches have been developed and new
ones are still developed regularly. Most of them are only described in academic papers, only …
ones are still developed regularly. Most of them are only described in academic papers, only …