Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints-Reference-Cited by-同舟云学术

Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints

Author:

ter Beek Maurice H.,Fantechi Alessandro^ORCID,Gnesi Stefania,Mazzanti Franco

Publisher

Elsevier BV

Subject

Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic

Reference69 articles.

1. 20 years of modal and mixed specifications;Antonik;Bull. Eur. Assoc. Theor. Comput. Sci.,2008

2. Strategies for product-line verification: case studies and experiments;Apel,2013

3. Detection of feature interactions using feature-aware verification;Apel,2011

4. A logical framework to deal with variability;Asirelli,2010

5. Formal description of variability in product families;Asirelli,2011

Cited by 73 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. Coherent modal transition systems refinement;Journal of Logical and Algebraic Methods in Programming;2024-04

4. Family-based Model Checking using Probabilistic Model Checker PRISM;2023 30th Asia-Pacific Software Engineering Conference (APSEC);2023-12-04

5. Unifying Behavioral and Feature Modeling for Testing of Software Product Lines;International Journal of Software Engineering and Knowledge Engineering;2023-09-30