Family-based deductive verification of software product lines
Citations
444 citations
152 citations
148 citations
93 citations
Cites background from "Family-based deductive verification..."
...[36] show how to formally prove that contracts are satisfied by a product line implementation....
[...]
74 citations
References
4,420 citations
"Family-based deductive verification..." refers background in this paper
...A feature model is a hierarchical structure defining all features of a product line and their valid combinations [20]....
[...]
...A feature is an end-user-visible program characteristic [20]....
[...]
3,502 citations
"Family-based deductive verification..." refers background in this paper
...Software product-line engineering aims at reuse across similar software products [13, 14]....
[...]
...systems that share a common code base [13]....
[...]
2,731 citations
"Family-based deductive verification..." refers background in this paper
...Software product-line engineering aims at reuse across similar software products [13, 14]....
[...]
...Generative programming is an approach to implement product lines such that each product can be derived automatically based on a feature selection [14]....
[...]
2,201 citations
"Family-based deductive verification..." refers background or methods in this paper
...The idea of design by contract is to enrich programs with specifications, given in a formal language, that can be processed by tools [27]....
[...]
...Design by contract is a technique to formally specify the behavior of software along with source code [27]....
[...]
1,231 citations
"Family-based deductive verification..." refers background or methods in this paper
...Common group types are alternative (exactly one of the subfeatures needs to be selected) and or (at least one of the subfeatures needs to be selected) [7]....
[...]
...Every relation between a feature and its subfeatures is translated into a propositional formula, which are then conjoined to a large formula representing the whole feature model [7]....
[...]
...For automated reasoning, feature models can also be represented using propositional formulas [7]....
[...]