FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1412625108> ?p ?o ?g. }

• W1412625108 abstract "Software product line engineering is a paradigm to develop software applications using platforms and mass customization. Component based approaches play an important role in development of product lines: Components represent features, and different component combinations lead to different products. The number of combinations is exponential in the number of features, which makes the cost of product line model checking high. In this paper, we propose two techniques to reduce the number of component combinations that have to be verified. The first technique is using the static slicing approach to eliminate the features that do not affect the property. The second technique is analyzing the property and extracting sufficient conditions of property satisfaction/violation, to identify products that satisfy or violate the property without model checking. We apply these techniques on a vending machine case study to show the applicability and effectiveness of our approach. The results show that the number of generated states and time of model checking is reduced significantly using the proposed reduction techniques." @default.
• W1412625108 created "2016-06-24" @default.
• W1412625108 creator A5079537045 @default.
• W1412625108 creator A5088018191 @default.
• W1412625108 date "2012-01-01" @default.
• W1412625108 modified "2023-10-06" @default.
• W1412625108 title "Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques" @default.
• W1412625108 cites W103510418 @default.
• W1412625108 cites W1520096217 @default.
• W1412625108 cites W1612453857 @default.
• W1412625108 cites W1959890433 @default.
• W1412625108 cites W1968563362 @default.
• W1412625108 cites W1977043299 @default.
• W1412625108 cites W2001987516 @default.
• W1412625108 cites W2005771507 @default.
• W1412625108 cites W2026806379 @default.
• W1412625108 cites W2048022108 @default.
• W1412625108 cites W2050157787 @default.
• W1412625108 cites W2099213660 @default.
• W1412625108 cites W2113201637 @default.
• W1412625108 cites W2120119918 @default.
• W1412625108 cites W2130195901 @default.
• W1412625108 cites W2142785340 @default.
• W1412625108 cites W2153265459 @default.
• W1412625108 cites W2171002355 @default.
• W1412625108 cites W2173900622 @default.
• W1412625108 cites W2477378326 @default.
• W1412625108 doi "https://doi.org/10.1007/978-3-642-35743-5_18" @default.
• W1412625108 hasPublicationYear "2012" @default.
• W1412625108 type Work @default.
• W1412625108 sameAs 1412625108 @default.
• W1412625108 citedByCount "2" @default.
• W1412625108 countsByYear W14126251082013 @default.
• W1412625108 countsByYear W14126251082022 @default.
• W1412625108 crossrefType "book-chapter" @default.
• W1412625108 hasAuthorship W1412625108A5079537045 @default.
• W1412625108 hasAuthorship W1412625108A5088018191 @default.
• W1412625108 hasConcept C110251889 @default.
• W1412625108 hasConcept C111472728 @default.
• W1412625108 hasConcept C11413529 @default.
• W1412625108 hasConcept C121332964 @default.
• W1412625108 hasConcept C127413603 @default.
• W1412625108 hasConcept C136764020 @default.
• W1412625108 hasConcept C138885662 @default.
• W1412625108 hasConcept C149091818 @default.
• W1412625108 hasConcept C168167062 @default.
• W1412625108 hasConcept C174683762 @default.
• W1412625108 hasConcept C183003079 @default.
• W1412625108 hasConcept C189950617 @default.
• W1412625108 hasConcept C199360897 @default.
• W1412625108 hasConcept C200601418 @default.
• W1412625108 hasConcept C2524010 @default.
• W1412625108 hasConcept C2776190703 @default.
• W1412625108 hasConcept C2777904410 @default.
• W1412625108 hasConcept C2778177629 @default.
• W1412625108 hasConcept C33923547 @default.
• W1412625108 hasConcept C41008148 @default.
• W1412625108 hasConcept C529173508 @default.
• W1412625108 hasConcept C72414096 @default.
• W1412625108 hasConcept C90673727 @default.
• W1412625108 hasConcept C91071405 @default.
• W1412625108 hasConcept C97355855 @default.
• W1412625108 hasConceptScore W1412625108C110251889 @default.
• W1412625108 hasConceptScore W1412625108C111472728 @default.
• W1412625108 hasConceptScore W1412625108C11413529 @default.
• W1412625108 hasConceptScore W1412625108C121332964 @default.
• W1412625108 hasConceptScore W1412625108C127413603 @default.
• W1412625108 hasConceptScore W1412625108C136764020 @default.
• W1412625108 hasConceptScore W1412625108C138885662 @default.
• W1412625108 hasConceptScore W1412625108C149091818 @default.
• W1412625108 hasConceptScore W1412625108C168167062 @default.
• W1412625108 hasConceptScore W1412625108C174683762 @default.
• W1412625108 hasConceptScore W1412625108C183003079 @default.
• W1412625108 hasConceptScore W1412625108C189950617 @default.
• W1412625108 hasConceptScore W1412625108C199360897 @default.
• W1412625108 hasConceptScore W1412625108C200601418 @default.
• W1412625108 hasConceptScore W1412625108C2524010 @default.
• W1412625108 hasConceptScore W1412625108C2776190703 @default.
• W1412625108 hasConceptScore W1412625108C2777904410 @default.
• W1412625108 hasConceptScore W1412625108C2778177629 @default.
• W1412625108 hasConceptScore W1412625108C33923547 @default.
• W1412625108 hasConceptScore W1412625108C41008148 @default.
• W1412625108 hasConceptScore W1412625108C529173508 @default.
• W1412625108 hasConceptScore W1412625108C72414096 @default.
• W1412625108 hasConceptScore W1412625108C90673727 @default.
• W1412625108 hasConceptScore W1412625108C91071405 @default.
• W1412625108 hasConceptScore W1412625108C97355855 @default.
• W1412625108 hasLocation W14126251081 @default.
• W1412625108 hasOpenAccess W1412625108 @default.
• W1412625108 hasPrimaryLocation W14126251081 @default.
• W1412625108 hasRelatedWork W1879962687 @default.
• W1412625108 hasRelatedWork W19678273 @default.
• W1412625108 hasRelatedWork W2006038776 @default.
• W1412625108 hasRelatedWork W2017630445 @default.
• W1412625108 hasRelatedWork W2076237590 @default.
• W1412625108 hasRelatedWork W2108046820 @default.
• W1412625108 hasRelatedWork W2141884430 @default.
• W1412625108 hasRelatedWork W2152893457 @default.
• W1412625108 hasRelatedWork W2160332621 @default.
• W1412625108 hasRelatedWork W2526174560 @default.

• next