Model checking software product lines based on feature slicing

International Journal of Computational Science and Engineering ◽

10.1504/ijcse.2019.099072 ◽

2019 ◽

Vol 18 (4) ◽

pp. 340

Author(s):

Ming Yu Huang ◽

Yu Mei Liu

Keyword(s):

Model Checking ◽

Software Product Lines ◽

Product Lines ◽

Software Product

Download Full-text

Potential synergies of theorem proving and model checking for software product lines

Proceedings of the 18th International Software Product Line Conference on - SPLC '14 ◽

10.1145/2648511.2648530 ◽

2014 ◽

Author(s):

Thomas Thüm ◽

Jens Meinicke ◽

Fabian Benduhn ◽

Martin Hentschel ◽

Alexander von Rhein ◽

...

Keyword(s):

Model Checking ◽

Theorem Proving ◽

Software Product Lines ◽

Product Lines ◽

Software Product

Download Full-text

Probabilistic model checking for energy analysis in software product lines

Proceedings of the 13th international conference on Modularity - MODULARITY '14 ◽

10.1145/2577080.2577095 ◽

2014 ◽

Author(s):

Clemens Dubslaff ◽

Sascha Klüppelholz ◽

Christel Baier

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Energy Analysis ◽

Software Product Lines ◽

Probabilistic Model Checking ◽

Product Lines ◽

Software Product

Download Full-text

Symbolic model checking of software product lines

Proceeding of the 33rd international conference on Software engineering - ICSE '11 ◽

10.1145/1985793.1985838 ◽

2011 ◽

Author(s):

Andreas Classen ◽

Patrick Heymans ◽

Pierre-Yves Schobbens ◽

Axel Legay

Keyword(s):

Model Checking ◽

Software Product Lines ◽

Symbolic Model Checking ◽

Product Lines ◽

Symbolic Model ◽

Software Product

Download Full-text

Incremental model checking of delta-oriented software product lines

Journal of Logical and Algebraic Methods in Programming ◽

10.1016/j.jlamp.2015.09.004 ◽

2016 ◽

Vol 85 (1) ◽

pp. 245-267 ◽

Author(s):

Malte Lochau ◽

Stephan Mennicke ◽

Hauke Baller ◽

Lars Ribbeck

Keyword(s):

Model Checking ◽

Software Product Lines ◽

Product Lines ◽

Incremental Model ◽

Software Product

Download Full-text

Safety analysis of software product lines using state-based modeling and compositional model checking

10.31274/etd-180810-3011 ◽

2008 ◽

Author(s):

Jing Liu

Keyword(s):

Model Checking ◽

Software Product Lines ◽

Safety Analysis ◽

Product Lines ◽

Compositional Model ◽

Software Product

Download Full-text

Modeling and Model Checking Software Product Lines

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/978-3-540-68863-1_8 ◽

2008 ◽

pp. 113-131 ◽

Author(s):

Alexander Gruler ◽

Martin Leucker ◽

Kathrin Scheidemann

Keyword(s):

Model Checking ◽

Software Product Lines ◽

Product Lines ◽

Software Product

Download Full-text

Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking

2011 15th International Software Product Line Conference ◽

10.1109/splc.2011.33 ◽

2011 ◽

Author(s):

Carlo Ghezzi ◽

Amir Molzam Sharifloo

Keyword(s):

Model Checking ◽

Functional Properties ◽

Software Product Lines ◽

Parametric Model ◽

Product Lines ◽

Efficient Approach ◽

Software Product

Download Full-text

Compositional model checking of software product lines using variation point obligations

Automated Software Engineering ◽

10.1007/s10515-010-0075-7 ◽

2010 ◽

Vol 18 (1) ◽

pp. 39-76 ◽

Author(s):

Jing Liu ◽

Samik Basu ◽

Robyn R. Lutz

Keyword(s):

Model Checking ◽

Software Product Lines ◽

Product Lines ◽

Compositional Model ◽

Software Product ◽

Variation Point

Download Full-text

Model checking software product lines based on feature slicing

International Journal of Computational Science and Engineering ◽

10.1504/ijcse.2019.10020473 ◽

2019 ◽

Vol 18 (4) ◽

pp. 340

Author(s):

Ming Yu Huang ◽

Yu Mei Liu

Keyword(s):

Model Checking ◽

Software Product Lines ◽

Product Lines ◽

Software Product

Download Full-text

Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.182.5 ◽

2015 ◽

Vol 182 ◽

pp. 56-70 ◽

Author(s):

Maurice H. ter Beek ◽

Axel Legay ◽

Alberto Lluch Lafuente ◽

Andrea Vandin

Keyword(s):

Quantitative Analysis ◽

Model Checking ◽

Statistical Model ◽

Probabilistic Models ◽

Software Product Lines ◽

Product Lines ◽

Statistical Model Checking ◽

Software Product

Download Full-text