A Classification and Survey of Analysis Strategies for Software Product Lines

Thomas Thüm,S. Apel,Christian Kästner,Ina Schaefer,G. Saake

Published 2014 in ACM Computing Surveys

ABSTRACT

No abstract is available for this paper.

PUBLICATION RECORD

Publication year
2014
Venue
ACM Computing Surveys
Publication date
2014-06-01
Fields of study
Computer Science, Engineering
Identifiers
DOI 10.1145/2580950
External record
Open on Semantic Scholar
Source metadata
Semantic Scholar

CITATION MAP

EXTRACTION MAP

CLAIMS

No claims are published for this paper.

CONCEPTS

No concepts are published for this paper.

REFERENCES

Model Checking
2018influential reference
Software Product Line Engineering Foundations Principles And Techniques
2016cited by this paper
Implementing type-safe software product lines using parametric traits
2015cited by this paper
Towards assessing the complexity of object migration in dynamic, feature-oriented software product lines
2014influential reference
Systematic derivation of static analyses for software product lines
2014cited by this paper
Reducing the verification cost of evolving product families using static analysis techniques
2014cited by this paper
Investigating preprocessor-based syntax errors
2014cited by this paper
Exploring variability-aware execution for testing plugin-based web applications
2014cited by this paper
Introduction to Combinatorial Testing
2014cited by this paper
On strategies for testing software product lines: A systematic literature review
2014cited by this paper
Extending Type Inference to Variational Programs
2014cited by this paper
A comparison of product-based, feature-based, and family-based type checking
2014cited by this paper
Combining declarative and procedural views in the specification and analysis of product families
2013influential reference
Scalable analysis of variable software
2013cited by this paper
Features meet scenarios: modeling and consistency-checking scenario-based product line specifications
2013cited by this paper
Delta Modeling and Model Checking of Product Families
2013cited by this paper
Skew-space garbage collection
2013cited by this paper
The PLA model: on the combination of product-line analyses
2013cited by this paper
Feature-interaction detection based on feature-based specifications
2013cited by this paper
Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features
2013cited by this paper
Strategies for product-line verification: Case studies and experiments
2013influential reference
Meta-theory à la carte
2013cited by this paper
SPLLIFT: statically analyzing software product lines in minutes instead of years
2013influential reference
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems
2013cited by this paper
Model Checking Adaptive Software with Featured Transition Systems
2013cited by this paper
Methodology for the derivation of product behaviour in a Software Product Line. (Méthodologie SPL pour la dérivation de modèles comportementaux des produits)
2013cited by this paper
Validating Consistency between a Feature Model and Its Implementation
2013cited by this paper
Feature-Oriented Software Product Lines
2013influential reference
Towards Formal Safety Analysis in Feature-Oriented Product Line Development
2013influential reference
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking
2013cited by this paper
Modeling and Verification of Reconfigurable Actor Families
2013cited by this paper
Compositional type checking of delta-oriented software product lines
2013cited by this paper
Ensuring well-formedness of configured domain models in model-driven product lines based on negative variability
2012cited by this paper
Family-based deductive verification of software product lines
2012influential reference
A transformational proof system for delta-oriented programming
2012cited by this paper
A variability-aware module system
2012influential reference
Shared Execution for Efficiently Testing Product Lines
2012cited by this paper
Intraprocedural dataflow analysis for software product lines
2012cited by this paper
Type checking annotation-based product lines
2012influential reference
Toward variability-aware testing
2012influential reference
Towards an incremental automata-based approach for software product-line model checking
2012influential reference
SuperC: parsing all of C by taming the preprocessor
2012cited by this paper
Integration Testing of Software Product Lines Using Compositional Symbolic Execution
2012cited by this paper
Simulation-based abstractions for software product-line model checking
2012cited by this paper
A Liskov Principle for Delta-Oriented Programming
2012cited by this paper
Managing evolution in software product lines: a model-checking perspective
2012cited by this paper
Behavioural modelling and verification of real-time software product lines
2012influential reference
A survey on software product line testing
2012cited by this paper
Applying Design by Contract to Feature-Oriented Programming
2012influential reference
A Compositional Framework to Derive Product Line Behavioural Descriptions
2012cited by this paper
Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines
2012cited by this paper
Generative Programming and Component Engineering, GPCE'12, Dresden, Germany, September 26-28, 2012
2012cited by this paper
Compositional model checking of software product lines using variation point obligations
2011influential reference
A survey of combinatorial testing
2011influential reference
Supporting Consistency Checking between Features and Software Product Line Use Scenarios
2011cited by this paper
Variability-aware parsing in the presence of lexical macros and conditional compilation
2011influential reference
Detection of feature interactions using feature-aware verification
2011cited by this paper
Feature consistency in compile-time-configurable system software: facing the linux 10,000 feature problem
2011influential reference
A Survey of Model-Based Software Product Lines Testing
2011influential reference
Proof Composition for Deductive Verification of Software Product Lines
2011influential reference
Product lines of theorems
2011cited by this paper
Configuration coverage in the analysis of large-scale system software
2011cited by this paper
Software product line testing - A systematic mapping study
2011cited by this paper
Automatic detection of feature interactions using the Java modeling language: an experience report
2011cited by this paper
A systematic mapping study of software product lines testing
2011influential reference
Reducing combinatorics in testing product lines
2011cited by this paper
Runtime Verification of Linux Kernel Modules Based on Call Interception
2011cited by this paper
Efficient Verification of Evolving Software Product Lines
2011cited by this paper
Abstract Features in Feature Modeling
2011influential reference
Safe Composition of Configuration Knowledge-Based Software Product Lines
2011cited by this paper
A calculus for uniform feature composition
2010cited by this paper
Author manuscript, published in "International Conference on Software Testing (2010)" Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines
2010influential reference
Modular logic metaprogramming
2010cited by this paper
Quality Assurance in the Presence of Variability
2010cited by this paper
An analysis of the variability in forty preprocessor-based software product lines
2010cited by this paper
Automated Incremental Pairwise Testing of Software Product Lines
2010cited by this paper
Patching product line programs
2010cited by this paper
Compositional Algorithmic Verification of Software Product Lines
2010influential reference
Type safety for feature-oriented product lines
2010cited by this paper
Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions
2010cited by this paper
Emergent feature modularization
2010cited by this paper
Automated analysis of feature models 20 years later: A literature review
2010cited by this paper
ABS: A Core Language for Abstract Behavioral Specification
2010cited by this paper
Detecting Dependences and Interactions in Feature-Oriented Design
2010influential reference
Language-independent reference checking in software product lines
2010cited by this paper
TypeChef: toward type checking #ifdef variability in C
2010cited by this paper
Model checking lots of systems: efficient verification of temporal properties in software product lines
2010cited by this paper
Reducing Configurations to Monitor in a Software Product Line
2010cited by this paper
Verification of Software Product Lines with Delta-Oriented Slicing
2010cited by this paper
On the impact of the optional feature problem: analysis and case studies
2009cited by this paper
SPASS Version 3.5
2009cited by this paper
Fitting the pieces together: a machine-checked model of safe composition
2009cited by this paper
Reasoning about edits to feature models
2009cited by this paper
Towards systematic ensuring well-formedness of software product lines
2009cited by this paper
CPAchecker: A Tool for Configurable Software Verification
2009cited by this paper
Gathering current knowledge about quality evaluation in software product lines
2009cited by this paper
Safe composition of non-monotonic features
2009cited by this paper
SAT-based analysis of feature models is easy
2009cited by this paper
On the modularity of feature interactions
2008cited by this paper
Formal Methods in Software Product Lines : Concepts , Survey , and Guidelines
2008cited by this paper

CITED BY

My feature model has changed... What should I do with my tests?
2026cites this paper
PyroBuildS: Speeding up the exploration of large configuration spaces with incremental build
2026cites this paper
A Core Calculus for Type-safe Product Lines of C Programs
2026influential citation
CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems (Technical Report)
2026cites this paper
Integrating Security into the Product-Line-Engineering Framework: A Security-Engineering Extension
2025cites this paper
Overview and Roadmap of Team Automata
2025cites this paper
Detecting Performance-Relevant Changes in Configurable Software Systems
2025cites this paper
An Interpreter-based Framework for Static Analysis of Variability in Space and Time
2025influential citation
Project Templating and Onboarding With Cookiecutter: Foundations, Uses, and Guidelines
2025cites this paper
Towards High-Strength Combinatorial Interaction Testing for Highly Configurable Software Systems
2025cites this paper
A Configurable Software Model of a Self-Adaptive Robotic System
2025cites this paper
Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System
2025cites this paper
Asking Security Practitioners: Did You Find the Vulnerable (Mis)Configuration?
2025cites this paper
Towards Effective and Efficient Feature-Model Analyses for Evolving System Software
2025cites this paper
How Low Can We Go? Minimizing Interaction Samples for Configurable Systems
2025cites this paper
A large-scale study on developer engagement and expertise in Configurable Software System projects
2025cites this paper
Pick Me: Judging Sample Quality with Binary Decision Diagrams
2025cites this paper
Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs
2025cites this paper
Investigating the Effects of T-Wise Interaction Sampling for Vulnerability Discovery in Highly-Configurable Software Systems
2025influential citation
Assurance Case Development for Evolving Software Product Lines: A Formal Approach
2025cites this paper
Efficiently Ranking Software Variants with Minimal Benchmarks
2025cites this paper
How Configurable Is the Linux Kernel? Analyzing Two Decades of Feature-Model History
2025influential citation
FMSans: An efficient approach for constraints removal and parallel analysis of feature models
2025cites this paper
Modeling and Analysis of Configurable Job-Shop Scheduling Problems
2025cites this paper
Analysing Self-Adaptive Systems as Software Product Lines
2024cites this paper
Product-Line Engineering for Smart Manufacturing: A Systematic Mapping Study on Security Concepts
2024cites this paper
Towards Automated Configuration Documentation
2024cites this paper
Reusing d-DNNFs for Efficient Feature-Model Counting
2024cites this paper
Consistency Is Key: Can Your Product Line Realise What It Models?
2024influential citation
Syntax-preserving program slicing for C-based software product lines
2024cites this paper
PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases
2024cites this paper
A structural taxonomy for lifted software product line analyses
2024cites this paper
An ontological knowledge-based method for handling feature model defects due to dead feature
2024cites this paper
Efficient construction of family-based behavioral models from adaptively learned models
2024cites this paper
Should I Bother? Fast Patch Filtering for Statically-Configured Software Variants
2024cites this paper
Testing the Evolution of Feature Models with Specific Combinatorial Tests
2024cites this paper
Modular language product lines: concept, tool and analysis
2024influential citation
Options Matter: Documenting and Fixing Non-Reproducible Builds in Highly-Configurable Systems
2024cites this paper
Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings
2024cites this paper
Variability management and software product line knowledge in software companies
2024cites this paper
On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models
2024cites this paper
Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines
2024influential citation
Incremental Identification of T-Wise Feature Interactions
2024cites this paper
Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking
2024cites this paper
Integrating Product Sampling and Behavioral Testing for Software Product Lines with Combinatorial Testing
2024cites this paper
On the Expressive Power of Languages for Static Variability
2024cites this paper
From Decision Models To User-Guiding Configurators Using SMT
2024cites this paper
How Easy is SAT-Based Analysis of a Feature Model?
2024cites this paper
Conversational Agents in Healthcare: A Variability Perspective
2024cites this paper
Not Quite There Yet: Remaining Challenges in Systems and Software Product Line Engineering as Perceived by Industry Practitioners
2024cites this paper
Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems
2024cites this paper
Schematic Program Proofs with Abstract Execution
2024cites this paper
Vulnerably (Mis)Configured? Exploring 10 Years of Developers' Q&As on Stack Overflow
2024cites this paper
Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models
2023cites this paper
Code-Level Functional Equivalence Checking of Annotative Software Product Lines
2023cites this paper
PyroBuildS: Enabling Efficient Exploration of Linux Configuration Space with Incremental Build
2023cites this paper
Deltas for Functional Programs with Algebraic Data Types
2023cites this paper
Correctness-by-Construction
2023cites this paper
Analysis and Propagation of Feature Revisions in Preprocessor-based Software Product Lines
2023cites this paper
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models
2023cites this paper
Adding Product-Line Capabilities to Your Favourite Modeling Language
2023cites this paper
Annotative Software Product Line Analysis Using Variability-Aware Datalog
2023cites this paper
Fuzzing Configurations of Program Options
2023cites this paper
Template-Based Generator for Single-Choice Questions
2023cites this paper
SEAL: Integrating Program Analysis and Repository Mining
2023cites this paper
Comparing the intensity of variability changes in software product line evolution
2023cites this paper
True Variability Shining Through Taxonomy Mining
2023cites this paper
An Analysis of the Features of Requirements Engineering Tools
2023cites this paper
Evolutionary Feature Dependencies: Analyzing Feature Co-Changes in C Systems
2023cites this paper
Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line
2023cites this paper
Comprehending Variability in Analysis Results of Software Product Lines
2023cites this paper
Less is More? An Empirical Study on Configuration Issues in Python PyPI Ecosystem
2023cites this paper
On the Benefits of Knowledge Compilation for Feature-Model Analyses
2023cites this paper
Product lines of dataflows
2023cites this paper
Towards Analyzing Variability in Space and Time of Products from a Product Line using Triadic Concept Analysis
2023cites this paper
Elimination of constraints for parallel analysis of feature models
2023cites this paper
Formal Modelling and Analysis of a Self-Adaptive Robotic System
2023cites this paper
CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays
2023cites this paper
Feature causality
2023influential citation
On the Reuse of Existing Configurations for Testing Evolving Feature Models
2023cites this paper
Incremental software product line verification - A performance analysis with dead variable code
2022cites this paper
An Empirical Eye-Tracking Study of Feature Model Comprehension
2022cites this paper
Variability-Aware Design of Space Systems: Variability Modelling, Configuration Workflow and Research Directions
2022cites this paper
Incremental Build of Linux Kernel Configurations
2022cites this paper
Applying declarative analysis to industrial automotive software product line models
2022influential citation
Verification Strategies for Feature-Oriented Software Product Lines
2022influential citation
On logical and extensional characterizations of attributed feature models
2022cites this paper
Several lifted abstract domains for static analysis of numerical program families
2022cites this paper
We’re Not Gonna Break It! Consistency-Preserving Operators for Efficient Product Line Configuration
2022cites this paper
Causality in Configurable Software Systems
2022cites this paper
CHAOS - Configurations Analysis of Swarms of Cyber-Physical Systems
2022cites this paper
Lifted structural invariant analysis of Petri net product lines
2022cites this paper
Quantifying the variability mismatch between problem and solution space
2022cites this paper
SamplingCA: effective and efficient sampling-based pairwise testing for highly configurable software systems
2022cites this paper
Variability modules
2022cites this paper
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC
2022cites this paper
Bridging the gap between academia and industry: transforming the universal variability language to pure::variants and back
2022cites this paper
Design for the analysis of variability management in the industry
2022cites this paper
BEEHIVE: behaviour-induced configuration of high variability-intensive systems
2022cites this paper
BatakJava: An Object-Oriented Programming Language with Versions
2022cites this paper