Verification Strategies for Feature-Oriented Software Product Lines.

Elias Kuiter Alexander Knüppel Tabea Bordis Tobias Runge Ina Schaefer

Published in: VaMoS (2022)

Keyphrases

software product line
goal driven
product lines
product line
software engineering
life cycle
future directions
learning methodologies
databases
lessons learned
adult literacy
machine learning
metadata
image features
software development
model checking