Potential synergies of theorem proving and model checking for software product lines-Reference-Cited by-同舟云学术

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

Published:2014-09-15 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 18th International Software Product Line Conference - Volume 1
language:
Short-container-title:

Author:

Thüm Thomas¹,Meinicke Jens¹,Benduhn Fabian¹,Hentschel Martin²,von Rhein Alexander³,Saake Gunter¹

Affiliation:

1. University of Magdeburg, Germany

2. University of Darmstadt, Germany

3. University of Passau, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2648511.2648530

Reference62 articles.

1. J.-R. Abrial. Modeling in Event-B: System and Software Engineering. Cambridge University Press 1st edition 2010. J.-R. Abrial. Modeling in Event-B: System and Software Engineering . Cambridge University Press 1st edition 2010.

2. Language-Independent and Automated Software Composition: The FeatureHouse Experience

3. Detection of feature interactions using feature-aware verification

4. Feature-interaction detection based on feature-based specifications

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

1. Verifying consistency of software product line architectures with product architectures;Software and Systems Modeling;2023-07-08

2. Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines;Journal of Computer Languages;2022-06

3. Variational correctness-by-construction;Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems;2020-02-05

4. Feature-oriented contract composition;Journal of Systems and Software;2019-06

5. A change-aware per-file analysis to compile configurable systems with #ifdefs;Computer Languages, Systems & Structures;2018-12