Matches in SemOpenAlex for { <https://semopenalex.org/work/W577433480> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W577433480 abstract "With the development of highly configurable and large software, a new challenge has to be addressed, when it comes to software testing. While traditional testing approaches might still apply and succeed in achieving a better quality of service, the high degree of customizable parts of such a system implies the mentioned testing activities on different configurations. If a formal notion is used to express the allowed configurations of a system, one might think of generating such configurations in an automated fashion. However, if there are constraints involved, traditional model-based test-case generation might cause problems to achieve a desired coherency. An idea is, to use those constraints to generate test-cases and to achieve coherency at the same time. Satisfiability modulo theories (SMT) has been an emerging field in current theoretical computer science and developed decision procedures to treat various theoretical fragments in a specific manner. The goal of this thesis is, to look at a translation mechanism from an expression language for constraints into SAT modulo theories and involve this technique into a test-case generation process. Furthermore, the balance between the generation of coherent test-cases as well as the problem-specific purposes of such test-cases is investigated." @default.
- W577433480 created "2016-06-24" @default.
- W577433480 creator A5019792197 @default.
- W577433480 date "2014-01-01" @default.
- W577433480 modified "2023-09-26" @default.
- W577433480 title "SMT Aided Test Case Generation For Constrained Feature Models" @default.
- W577433480 cites W2094568767 @default.
- W577433480 hasPublicationYear "2014" @default.
- W577433480 type Work @default.
- W577433480 sameAs 577433480 @default.
- W577433480 citedByCount "0" @default.
- W577433480 crossrefType "journal-article" @default.
- W577433480 hasAuthorship W577433480A5019792197 @default.
- W577433480 hasConcept C114614502 @default.
- W577433480 hasConcept C115903868 @default.
- W577433480 hasConcept C119857082 @default.
- W577433480 hasConcept C128942645 @default.
- W577433480 hasConcept C138885662 @default.
- W577433480 hasConcept C152877465 @default.
- W577433480 hasConcept C164155591 @default.
- W577433480 hasConcept C168773769 @default.
- W577433480 hasConcept C199360897 @default.
- W577433480 hasConcept C202444582 @default.
- W577433480 hasConcept C2776401178 @default.
- W577433480 hasConcept C33923547 @default.
- W577433480 hasConcept C41008148 @default.
- W577433480 hasConcept C41895202 @default.
- W577433480 hasConcept C54732982 @default.
- W577433480 hasConcept C80444323 @default.
- W577433480 hasConcept C9652623 @default.
- W577433480 hasConcept C98045186 @default.
- W577433480 hasConceptScore W577433480C114614502 @default.
- W577433480 hasConceptScore W577433480C115903868 @default.
- W577433480 hasConceptScore W577433480C119857082 @default.
- W577433480 hasConceptScore W577433480C128942645 @default.
- W577433480 hasConceptScore W577433480C138885662 @default.
- W577433480 hasConceptScore W577433480C152877465 @default.
- W577433480 hasConceptScore W577433480C164155591 @default.
- W577433480 hasConceptScore W577433480C168773769 @default.
- W577433480 hasConceptScore W577433480C199360897 @default.
- W577433480 hasConceptScore W577433480C202444582 @default.
- W577433480 hasConceptScore W577433480C2776401178 @default.
- W577433480 hasConceptScore W577433480C33923547 @default.
- W577433480 hasConceptScore W577433480C41008148 @default.
- W577433480 hasConceptScore W577433480C41895202 @default.
- W577433480 hasConceptScore W577433480C54732982 @default.
- W577433480 hasConceptScore W577433480C80444323 @default.
- W577433480 hasConceptScore W577433480C9652623 @default.
- W577433480 hasConceptScore W577433480C98045186 @default.
- W577433480 hasLocation W5774334801 @default.
- W577433480 hasOpenAccess W577433480 @default.
- W577433480 hasPrimaryLocation W5774334801 @default.
- W577433480 hasRelatedWork W115141088 @default.
- W577433480 hasRelatedWork W126385903 @default.
- W577433480 hasRelatedWork W1807391715 @default.
- W577433480 hasRelatedWork W2099164689 @default.
- W577433480 hasRelatedWork W2121319037 @default.
- W577433480 hasRelatedWork W2121399614 @default.
- W577433480 hasRelatedWork W2305481793 @default.
- W577433480 hasRelatedWork W2324182057 @default.
- W577433480 hasRelatedWork W2331606058 @default.
- W577433480 hasRelatedWork W2333943543 @default.
- W577433480 hasRelatedWork W2339742064 @default.
- W577433480 hasRelatedWork W2464403172 @default.
- W577433480 hasRelatedWork W2507314063 @default.
- W577433480 hasRelatedWork W2561279278 @default.
- W577433480 hasRelatedWork W2616890888 @default.
- W577433480 hasRelatedWork W2787137987 @default.
- W577433480 hasRelatedWork W3014673105 @default.
- W577433480 hasRelatedWork W3104625511 @default.
- W577433480 hasRelatedWork W177131775 @default.
- W577433480 hasRelatedWork W2182554330 @default.
- W577433480 isParatext "false" @default.
- W577433480 isRetracted "false" @default.
- W577433480 magId "577433480" @default.
- W577433480 workType "article" @default.