Matches in SemOpenAlex for { <https://semopenalex.org/work/W2750802022> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2750802022 abstract "A software product line (SPL) uses a variability model, such as a feature model (FM), to describe the configuration options for a set of closely related software systems. Context-aware SPLs also consider possible environment conditions for their configuration options. Errors in modeling the FM and its context may lead to anomalies, such as dead features or a void feature model, which reduce if not negate the usefulness of the SPL. Detecting these anomalies is usually done by using Boolean satisfiability (SAT) that however are not expressive enough to detect anomalies when context is considered. In this paper, we describe HyVarRec: a tool that relies on Satisfiability Modulo Theory (SMT) to detect and explain anomalies for context-aware SPLs." @default.
- W2750802022 created "2017-09-15" @default.
- W2750802022 creator A5006095904 @default.
- W2750802022 creator A5053626863 @default.
- W2750802022 creator A5058872144 @default.
- W2750802022 creator A5073106224 @default.
- W2750802022 date "2017-09-25" @default.
- W2750802022 modified "2023-10-17" @default.
- W2750802022 title "Anomaly Detection and Explanation in Context-Aware Software Product Lines" @default.
- W2750802022 cites W2007170049 @default.
- W2750802022 cites W2067838808 @default.
- W2750802022 cites W2099213660 @default.
- W2750802022 cites W2128967738 @default.
- W2750802022 cites W2137351629 @default.
- W2750802022 cites W2156843723 @default.
- W2750802022 cites W2156879585 @default.
- W2750802022 cites W2269706861 @default.
- W2750802022 cites W2275911078 @default.
- W2750802022 cites W2477378326 @default.
- W2750802022 cites W2528851063 @default.
- W2750802022 cites W2536424305 @default.
- W2750802022 cites W2574525925 @default.
- W2750802022 doi "https://doi.org/10.1145/3109729.3109752" @default.
- W2750802022 hasPublicationYear "2017" @default.
- W2750802022 type Work @default.
- W2750802022 sameAs 2750802022 @default.
- W2750802022 citedByCount "11" @default.
- W2750802022 countsByYear W27508020222018 @default.
- W2750802022 countsByYear W27508020222019 @default.
- W2750802022 countsByYear W27508020222020 @default.
- W2750802022 countsByYear W27508020222021 @default.
- W2750802022 countsByYear W27508020222022 @default.
- W2750802022 countsByYear W27508020222023 @default.
- W2750802022 crossrefType "proceedings-article" @default.
- W2750802022 hasAuthorship W2750802022A5006095904 @default.
- W2750802022 hasAuthorship W2750802022A5053626863 @default.
- W2750802022 hasAuthorship W2750802022A5058872144 @default.
- W2750802022 hasAuthorship W2750802022A5073106224 @default.
- W2750802022 hasConcept C101814296 @default.
- W2750802022 hasConcept C11413529 @default.
- W2750802022 hasConcept C118615104 @default.
- W2750802022 hasConcept C124101348 @default.
- W2750802022 hasConcept C138885662 @default.
- W2750802022 hasConcept C151730666 @default.
- W2750802022 hasConcept C164155591 @default.
- W2750802022 hasConcept C168773769 @default.
- W2750802022 hasConcept C199360897 @default.
- W2750802022 hasConcept C2776401178 @default.
- W2750802022 hasConcept C2777904410 @default.
- W2750802022 hasConcept C2778177629 @default.
- W2750802022 hasConcept C2779343474 @default.
- W2750802022 hasConcept C33923547 @default.
- W2750802022 hasConcept C41008148 @default.
- W2750802022 hasConcept C41895202 @default.
- W2750802022 hasConcept C529173508 @default.
- W2750802022 hasConcept C54732982 @default.
- W2750802022 hasConcept C6943359 @default.
- W2750802022 hasConcept C80444323 @default.
- W2750802022 hasConcept C86803240 @default.
- W2750802022 hasConceptScore W2750802022C101814296 @default.
- W2750802022 hasConceptScore W2750802022C11413529 @default.
- W2750802022 hasConceptScore W2750802022C118615104 @default.
- W2750802022 hasConceptScore W2750802022C124101348 @default.
- W2750802022 hasConceptScore W2750802022C138885662 @default.
- W2750802022 hasConceptScore W2750802022C151730666 @default.
- W2750802022 hasConceptScore W2750802022C164155591 @default.
- W2750802022 hasConceptScore W2750802022C168773769 @default.
- W2750802022 hasConceptScore W2750802022C199360897 @default.
- W2750802022 hasConceptScore W2750802022C2776401178 @default.
- W2750802022 hasConceptScore W2750802022C2777904410 @default.
- W2750802022 hasConceptScore W2750802022C2778177629 @default.
- W2750802022 hasConceptScore W2750802022C2779343474 @default.
- W2750802022 hasConceptScore W2750802022C33923547 @default.
- W2750802022 hasConceptScore W2750802022C41008148 @default.
- W2750802022 hasConceptScore W2750802022C41895202 @default.
- W2750802022 hasConceptScore W2750802022C529173508 @default.
- W2750802022 hasConceptScore W2750802022C54732982 @default.
- W2750802022 hasConceptScore W2750802022C6943359 @default.
- W2750802022 hasConceptScore W2750802022C80444323 @default.
- W2750802022 hasConceptScore W2750802022C86803240 @default.
- W2750802022 hasLocation W27508020221 @default.
- W2750802022 hasOpenAccess W2750802022 @default.
- W2750802022 hasPrimaryLocation W27508020221 @default.
- W2750802022 hasRelatedWork W1815155750 @default.
- W2750802022 hasRelatedWork W1868334863 @default.
- W2750802022 hasRelatedWork W2141151670 @default.
- W2750802022 hasRelatedWork W2188432030 @default.
- W2750802022 hasRelatedWork W2238963713 @default.
- W2750802022 hasRelatedWork W2401079607 @default.
- W2750802022 hasRelatedWork W2652810043 @default.
- W2750802022 hasRelatedWork W2761874473 @default.
- W2750802022 hasRelatedWork W4241145878 @default.
- W2750802022 hasRelatedWork W4384573318 @default.
- W2750802022 isParatext "false" @default.
- W2750802022 isRetracted "false" @default.
- W2750802022 magId "2750802022" @default.
- W2750802022 workType "article" @default.