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 …
Recent advances in automatic black-box testing
Research in black-box testing has produced impressive results in the past 40 years,
addressing many aspects of the problem that span from integration with the development …
addressing many aspects of the problem that span from integration with the development …
Using machine learning to infer constraints for product lines
Variability intensive systems may include several thousand features allowing for an
enormous number of possible configurations, including wrong ones (eg the derived product …
enormous number of possible configurations, including wrong ones (eg the derived product …
Variability testing in the wild: the drupal case study
Variability testing techniques search for effective and manageable test suites that lead to the
rapid detection of faults in systems with high variability. Evaluating the effectiveness of these …
rapid detection of faults in systems with high variability. Evaluating the effectiveness of these …
Testing variability-intensive systems using automated analysis: an application to android
Software product lines are used to develop a set of software products that, while being
different, share a common set of features. Feature models are used as a compact …
different, share a common set of features. Feature models are used as a compact …
Testing of highly configurable cyber–physical systems—Results from a two-phase multiple case study
Cyber–physical systems are commonly highly configurable. Testing such systems is
particularly challenging because they comprise numerous heterogeneous components that …
particularly challenging because they comprise numerous heterogeneous components that …
Modeling variability in the video domain: language and experience report
In an industrial project, we addressed the challenge of developing a software-based video
generator such that consumers and providers of video processing algorithms can …
generator such that consumers and providers of video processing algorithms can …
[HTML][HTML] Transforming Numerical Feature Models into Propositional Formulas and the Universal Variability Language
Abstract Real-world Software Product Lines (SPL s) need Numerical Feature Models (NFM
s) whose features have not only boolean values that satisfy boolean constraints but also …
s) whose features have not only boolean values that satisfy boolean constraints but also …
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing
In a literature review on the last 20 years of automated analysis of feature models, the
formalization of analysis operations was identified as the most relevant challenge in the …
formalization of analysis operations was identified as the most relevant challenge in the …
Discovering configuration workflows from existing logs using process mining
Variability models are used to build configurators, for guiding users through the
configuration process to reach the desired setting that fulfils user requirements. The same …
configuration process to reach the desired setting that fulfils user requirements. The same …