FRINK Linked Data Fragments server

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

• W2049497188 abstract "A software product line is a set of software products that are distinguished in terms of features (i.e., end-user-visible units of behavior). Feature interactions —situations in which the combination of features leads to emergent and possibly critical behavior— are a major source of failures in software product lines. We explore how feature-aware verification can improve the automatic detection of feature interactions in software product lines. Feature-aware verification uses product-line-verification techniques and supports the specification of feature properties along with the features in separate and composable units. It integrates the technique of variability encoding to verify a product line without generating and checking a possibly exponential number of feature combinations. We developed the tool suite SPLVERIFIER for feature-aware verification, which is based on standard model-checking technology. We applied it to an e-mail system that incorporates domain knowledge of AT&T. We found that feature interactions can be detected automatically based on specifications that have only local knowledge." @default.
• W2049497188 created "2016-06-24" @default.
• W2049497188 creator A5006126351 @default.
• W2049497188 creator A5054951840 @default.
• W2049497188 creator A5071340047 @default.
• W2049497188 creator A5079475396 @default.
• W2049497188 creator A5084497989 @default.
• W2049497188 date "2011-11-01" @default.
• W2049497188 modified "2023-10-03" @default.
• W2049497188 title "Detection of feature interactions using feature-aware verification" @default.
• W2049497188 cites W1999214372 @default.
• W2049497188 cites W2063923508 @default.
• W2049497188 cites W2070929035 @default.
• W2049497188 cites W2072325005 @default.
• W2049497188 cites W2080849400 @default.
• W2049497188 cites W2108999965 @default.
• W2049497188 cites W2130195901 @default.
• W2049497188 cites W2141399917 @default.
• W2049497188 cites W2142960988 @default.
• W2049497188 cites W2160885640 @default.
• W2049497188 cites W2161565163 @default.
• W2049497188 cites W2164024695 @default.
• W2049497188 doi "https://doi.org/10.1109/ase.2011.6100075" @default.
• W2049497188 hasPublicationYear "2011" @default.
• W2049497188 type Work @default.
• W2049497188 sameAs 2049497188 @default.
• W2049497188 citedByCount "110" @default.
• W2049497188 countsByYear W20494971882012 @default.
• W2049497188 countsByYear W20494971882013 @default.
• W2049497188 countsByYear W20494971882014 @default.
• W2049497188 countsByYear W20494971882015 @default.
• W2049497188 countsByYear W20494971882016 @default.
• W2049497188 countsByYear W20494971882017 @default.
• W2049497188 countsByYear W20494971882018 @default.
• W2049497188 countsByYear W20494971882019 @default.
• W2049497188 countsByYear W20494971882020 @default.
• W2049497188 countsByYear W20494971882021 @default.
• W2049497188 countsByYear W20494971882022 @default.
• W2049497188 countsByYear W20494971882023 @default.
• W2049497188 crossrefType "proceedings-article" @default.
• W2049497188 hasAuthorship W2049497188A5006126351 @default.
• W2049497188 hasAuthorship W2049497188A5054951840 @default.
• W2049497188 hasAuthorship W2049497188A5071340047 @default.
• W2049497188 hasAuthorship W2049497188A5079475396 @default.
• W2049497188 hasAuthorship W2049497188A5084497989 @default.
• W2049497188 hasBestOaLocation W20494971882 @default.
• W2049497188 hasConcept C101814296 @default.
• W2049497188 hasConcept C110251889 @default.
• W2049497188 hasConcept C124101348 @default.
• W2049497188 hasConcept C134306372 @default.
• W2049497188 hasConcept C138885662 @default.
• W2049497188 hasConcept C149091818 @default.
• W2049497188 hasConcept C15708719 @default.
• W2049497188 hasConcept C177264268 @default.
• W2049497188 hasConcept C186846655 @default.
• W2049497188 hasConcept C199360897 @default.
• W2049497188 hasConcept C21632574 @default.
• W2049497188 hasConcept C2524010 @default.
• W2049497188 hasConcept C2776401178 @default.
• W2049497188 hasConcept C2777904410 @default.
• W2049497188 hasConcept C2778177629 @default.
• W2049497188 hasConcept C33923547 @default.
• W2049497188 hasConcept C36503486 @default.
• W2049497188 hasConcept C41008148 @default.
• W2049497188 hasConcept C41895202 @default.
• W2049497188 hasConcept C529173508 @default.
• W2049497188 hasConcept C5977032 @default.
• W2049497188 hasConcept C90673727 @default.
• W2049497188 hasConceptScore W2049497188C101814296 @default.
• W2049497188 hasConceptScore W2049497188C110251889 @default.
• W2049497188 hasConceptScore W2049497188C124101348 @default.
• W2049497188 hasConceptScore W2049497188C134306372 @default.
• W2049497188 hasConceptScore W2049497188C138885662 @default.
• W2049497188 hasConceptScore W2049497188C149091818 @default.
• W2049497188 hasConceptScore W2049497188C15708719 @default.
• W2049497188 hasConceptScore W2049497188C177264268 @default.
• W2049497188 hasConceptScore W2049497188C186846655 @default.
• W2049497188 hasConceptScore W2049497188C199360897 @default.
• W2049497188 hasConceptScore W2049497188C21632574 @default.
• W2049497188 hasConceptScore W2049497188C2524010 @default.
• W2049497188 hasConceptScore W2049497188C2776401178 @default.
• W2049497188 hasConceptScore W2049497188C2777904410 @default.
• W2049497188 hasConceptScore W2049497188C2778177629 @default.
• W2049497188 hasConceptScore W2049497188C33923547 @default.
• W2049497188 hasConceptScore W2049497188C36503486 @default.
• W2049497188 hasConceptScore W2049497188C41008148 @default.
• W2049497188 hasConceptScore W2049497188C41895202 @default.
• W2049497188 hasConceptScore W2049497188C529173508 @default.
• W2049497188 hasConceptScore W2049497188C5977032 @default.
• W2049497188 hasConceptScore W2049497188C90673727 @default.
• W2049497188 hasLocation W20494971881 @default.
• W2049497188 hasLocation W20494971882 @default.
• W2049497188 hasOpenAccess W2049497188 @default.
• W2049497188 hasPrimaryLocation W20494971881 @default.
• W2049497188 hasRelatedWork W1528851149 @default.
• W2049497188 hasRelatedWork W1542117522 @default.
• W2049497188 hasRelatedWork W1964194341 @default.
• W2049497188 hasRelatedWork W2011440185 @default.
• W2049497188 hasRelatedWork W2070324084 @default.
• W2049497188 hasRelatedWork W2098270941 @default.

• next