Work

Verification Strategies for Feature-Oriented Software Product Lines

Year: 2022

Type: conference-paper

Abstract: Highly-customizable software systems in form of software product lines are becoming increasingly relevant for safety-critical systems, in which the correctness of software is a major concern. To ensure the correct behavior of a software product line, each product can be verified in isolation—however, this strategy quickly becomes infeasible for a large number of products.

Source: International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS)

DOI: 10.1145/3510466.3511272

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

Institutions: Otto-von-Guericke-Universität Magdeburg, Technische Universität Braunschweig

Language: English

Topic: Advanced Software Engineering Methodologies

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

OpenAlex ID: W4212828331

FWCI: 1.559

Cites: 31

Cited by: 9

Related to: 10