A
Alexander von Rhein
Researcher at University of Passau
Publications - 21
Citations - 994
Alexander von Rhein is an academic researcher from University of Passau. The author has contributed to research in topics: Model checking & Software. The author has an hindex of 16, co-authored 21 publications receiving 911 citations.
Papers
More filters
Proceedings ArticleDOI
Strategies for product-line verification: case studies and experiments
TL;DR: A model-checking tool chain for C-based and Java-based product lines, called SPLverifier, is developed, which is used to compare sample- based and family-based strategies with regard to verification performance and the ability to find defects.
Proceedings ArticleDOI
Scalable analysis of variable software
TL;DR: A key finding is that variability-aware analysis outperforms most sampling heuristics with respect to analysis time while preserving completeness.
Proceedings ArticleDOI
Detection of feature interactions using feature-aware verification
TL;DR: It is found that feature interactions can be detected automatically based on specifications that have only local knowledge, and this work developed the tool suite SPLVERIFIER for feature-aware verification, and applied it to an e-mail system that incorporates domain knowledge of AT&T.
Journal ArticleDOI
Feature-interaction detection based on feature-based specifications
TL;DR: An exploratory study on 10 feature-oriented systems found that the majority of feature interactions could be detected based on feature-based specifications, but some specifications have not been modularized properly and require undesirable workarounds to modularization.
Proceedings ArticleDOI
Toward variability-aware testing
Christian Kästner,Alexander von Rhein,Sebastian Erdweg,Jonas Pusch,Sven Apel,Tillmann Rendel,Klaus Ostermann +6 more
TL;DR: This work designs and implements a variability-aware interpreter and reencode variability of the product line to simulate the test cases with a model checker, and aims at finding an efficient testing approach that can be applied to entire product lines with millions of products.