Static analysis and family-based model checking of featured transition systems with VMC
暂无分享,去创建一个
Maurice H. ter Beek | Franco Mazzanti | Michael Lienhardt | Ferruccio Damiani | Luca Paolini | Giordano Scarso | Michele Valfrè
[1] Pierre-Yves Schobbens,et al. Model checking software product lines with SNIP , 2012, International Journal on Software Tools for Technology Transfer.
[2] Maurice H. ter Beek,et al. From Featured Transition Systems to Modal Transition Systems with Variability Constraints , 2015, SEFM.
[3] Jan Kretínský,et al. 30 Years of Modal Transition Systems: Survey of Extensions and Analysis , 2017, Models, Algorithms, Logics and Tools.
[4] Maurice H. ter Beek,et al. On the expressiveness of modal transition systems with variability constraints , 2019, Sci. Comput. Program..
[5] Aleksandar S. Dimovski. CTL family-basedmodel checking using variability abstractions and modal transition systems , 2019 .
[6] Klaus Pohl,et al. Model Checking of Domain Artifacts in Product Line Engineering , 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.
[7] Claus Brabrand,et al. Efficient family-based model checking via variability abstractions , 2017, International Journal on Software Tools for Technology Transfer.
[8] Christel Baier,et al. ProFeat: feature-oriented engineering for family-based probabilistic model checking , 2017, Formal Aspects of Computing.
[9] Gunter Saake,et al. A Classification and Survey of Analysis Strategies for Software Product Lines , 2014, ACM Comput. Surv..
[10] Erik P. de Vink,et al. Family-Based Model Checking with mCRL2 , 2017, FASE.
[11] Martin Leucker,et al. Modeling and Model Checking Software Product Lines , 2008, FMOODS.
[12] Aleksandar S. Dimovski. $\hbox {CTL}^{\star }$ family-based model checking using variability abstractions and modal transition systems , 2020, Int. J. Softw. Tools Technol. Transf..
[13] Thomas Leich,et al. FeatureIDE: An extensible framework for feature-oriented software development , 2014, Sci. Comput. Program..
[14] Stefania Gnesi,et al. Formal Modeling for Product Families Engineering , 2008, 2008 12th International Software Product Line Conference.
[15] Maurice H. ter Beek,et al. Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints , 2016, J. Log. Algebraic Methods Program..
[16] Axel Legay,et al. QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems , 2018, FM.
[17] Pierre-Yves Schobbens,et al. Model checking lots of systems: efficient verification of temporal properties in software product lines , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.
[18] Pierre-Yves Schobbens,et al. Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking , 2013, IEEE Transactions on Software Engineering.
[19] Maurice H. ter Beek,et al. VMC: recent advances and challenges ahead , 2014, SPLC '14.
[20] Sven Apel,et al. Variability-Aware Static Analysis at Scale , 2018, ACM Trans. Softw. Eng. Methodol..
[21] Maurice H. ter Beek,et al. VMC: A Tool for Product Variability Analysis , 2012, FM.
[22] Maurice H. ter Beek,et al. Static Analysis of Featured Transition Systems , 2019, SPLC.
[23] Sergio Segura,et al. Automated analysis of feature models 20 years later: A literature review , 2010, Inf. Syst..
[24] Pierre-Yves Schobbens,et al. Formal semantics, modular specification, and symbolic verification of product-line behaviour , 2014, Sci. Comput. Program..
[25] Maurice H. ter Beek,et al. Static analysis and family-based model checking with VMC , 2021, SPLC.
[26] Erik P. de Vink,et al. Family-Based SPL Model Checking Using Parity Games with Variability , 2020, FASE.
[27] Axel Legay,et al. A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems , 2017, IEEE Transactions on Software Engineering.
[28] Pierre-Yves Schobbens,et al. ProVeLines: a product line of verifiers for software product lines , 2013, SPLC '13 Workshops.
[29] Maurice H. ter Beek,et al. Efficient static analysis and verification of featured transition systems , 2021, Empirical Software Engineering.
[30] Christel Baier,et al. Probabilistic Model Checking for Feature-Oriented Systems , 2015, LNCS Trans. Aspect Oriented Softw. Dev..