Statecharts: A visual formalism for complex systems
Science of Computer Programming
Feature Interactions in Telecommunications Systems
Feature Interactions in Telecommunications Systems
Slicing Hierarchical Automata for Model Checking UML Statecharts
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
ICSE '81 Proceedings of the 5th international conference on Software engineering
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
A formalisation of the relationship between forms of program slicing
Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)
Formal Modeling for Product Families Engineering
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities
SCCC '08 Proceedings of the 2008 International Conference of the Chilean Computer Science Society
Reconciling statechart semantics
Science of Computer Programming
Delta-oriented programming of software product lines
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Feature Interaction Aware Test Case Generation for Embedded Control Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Symbolic model checking of software product lines
Proceedings of the 33rd International Conference on Software Engineering
Pairwise feature-interaction testing for SPLs: potentials and limitations
Proceedings of the 15th International Software Product Line Conference, Volume 2
Formal Description of Variability in Product Families
SPLC '11 Proceedings of the 2011 15th International Software Product Line Conference
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Incremental model-based testing of delta-oriented software product lines
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Program slicing to understand software generators
Proceedings of the 5th International Workshop on Feature-Oriented Software Development
Hi-index | 0.00 |
Model-based behavioral specifications build the basis for comprehensive quality assurance techniques for complex software systems such as model checking and model-based testing. Various attempts exist to adopt those approaches to variant-rich applications as apparent in software product line engineering to efficiently analyze families of similar software systems. Therefore, models are usually enriched with capabilities to explicitly specify variable parts by means of annotations denoting selection conditions over feature parameters. However, a major drawback of model-based engineering is still its lack of scalability. Model slicing provides a promising technique to reduce models to only those objects being relevant for a certain criterion under consideration such as a particular test goal. Here, we present an approach for slicing feature-annotated state machine models. To support feature-oriented slicing on those models, our framework combines principles of variability encoding and conditioned slicing. We also present an implementation and provide experimental results concerning the efficiency of the slicing algorithm.