Matches in SemOpenAlex for { <https://semopenalex.org/work/W4379619637> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W4379619637 abstract "Combinatorial interaction testing (CIT) is a testing technique that has proven to be effective in finding faults due to the interaction among inputs and in reducing the number of test cases, without losing effectiveness. Several tools have been proposed in the literature; however, generating tests remains a challenging task. In this paper, we present a technique for generating combinatorial test suites that uses a multi-thread architecture and exploits Satisfiability Modulo Theory (SMT) solvers to represent model parameters, constraints, and tuples, and it builds from SMT solver contexts the desired test suite. This technique is implemented by the tool KALI. The main advantage of using SMT solvers is that combinatorial models can contain all kinds of parameters and constraints. To evaluate our approach, we tested the impact of several optimizations and compared the performance of KALI with those of some existing tools for test generation. Our experiments confirm that the use of multi-threading is a promising technique but still requires some optimization for being more effective than the already available ones." @default.
- W4379619637 created "2023-06-08" @default.
- W4379619637 creator A5024990009 @default.
- W4379619637 creator A5040869127 @default.
- W4379619637 creator A5089822604 @default.
- W4379619637 date "2023-03-27" @default.
- W4379619637 modified "2023-10-18" @default.
- W4379619637 title "Multi-thread Combinatorial Test Generation with SMT solvers" @default.
- W4379619637 cites W1128447031 @default.
- W4379619637 cites W1480909796 @default.
- W4379619637 cites W1551588008 @default.
- W4379619637 cites W1810306334 @default.
- W4379619637 cites W1875182499 @default.
- W4379619637 cites W2157680536 @default.
- W4379619637 cites W221832247 @default.
- W4379619637 cites W2803285409 @default.
- W4379619637 cites W3212723181 @default.
- W4379619637 cites W4250968195 @default.
- W4379619637 cites W4282595932 @default.
- W4379619637 cites W4291213652 @default.
- W4379619637 doi "https://doi.org/10.1145/3555776.3577703" @default.
- W4379619637 hasPublicationYear "2023" @default.
- W4379619637 type Work @default.
- W4379619637 citedByCount "0" @default.
- W4379619637 crossrefType "proceedings-article" @default.
- W4379619637 hasAuthorship W4379619637A5024990009 @default.
- W4379619637 hasAuthorship W4379619637A5040869127 @default.
- W4379619637 hasAuthorship W4379619637A5089822604 @default.
- W4379619637 hasConcept C11413529 @default.
- W4379619637 hasConcept C118615104 @default.
- W4379619637 hasConcept C118930307 @default.
- W4379619637 hasConcept C119857082 @default.
- W4379619637 hasConcept C128942645 @default.
- W4379619637 hasConcept C138101251 @default.
- W4379619637 hasConcept C151552104 @default.
- W4379619637 hasConcept C152877465 @default.
- W4379619637 hasConcept C164155591 @default.
- W4379619637 hasConcept C165696696 @default.
- W4379619637 hasConcept C165825675 @default.
- W4379619637 hasConcept C173608175 @default.
- W4379619637 hasConcept C199360897 @default.
- W4379619637 hasConcept C2778770139 @default.
- W4379619637 hasConcept C33923547 @default.
- W4379619637 hasConcept C38652104 @default.
- W4379619637 hasConcept C41008148 @default.
- W4379619637 hasConcept C80444323 @default.
- W4379619637 hasConceptScore W4379619637C11413529 @default.
- W4379619637 hasConceptScore W4379619637C118615104 @default.
- W4379619637 hasConceptScore W4379619637C118930307 @default.
- W4379619637 hasConceptScore W4379619637C119857082 @default.
- W4379619637 hasConceptScore W4379619637C128942645 @default.
- W4379619637 hasConceptScore W4379619637C138101251 @default.
- W4379619637 hasConceptScore W4379619637C151552104 @default.
- W4379619637 hasConceptScore W4379619637C152877465 @default.
- W4379619637 hasConceptScore W4379619637C164155591 @default.
- W4379619637 hasConceptScore W4379619637C165696696 @default.
- W4379619637 hasConceptScore W4379619637C165825675 @default.
- W4379619637 hasConceptScore W4379619637C173608175 @default.
- W4379619637 hasConceptScore W4379619637C199360897 @default.
- W4379619637 hasConceptScore W4379619637C2778770139 @default.
- W4379619637 hasConceptScore W4379619637C33923547 @default.
- W4379619637 hasConceptScore W4379619637C38652104 @default.
- W4379619637 hasConceptScore W4379619637C41008148 @default.
- W4379619637 hasConceptScore W4379619637C80444323 @default.
- W4379619637 hasLocation W43796196371 @default.
- W4379619637 hasOpenAccess W4379619637 @default.
- W4379619637 hasPrimaryLocation W43796196371 @default.
- W4379619637 hasRelatedWork W1594563977 @default.
- W4379619637 hasRelatedWork W2000478763 @default.
- W4379619637 hasRelatedWork W2053493060 @default.
- W4379619637 hasRelatedWork W2071078342 @default.
- W4379619637 hasRelatedWork W2114045028 @default.
- W4379619637 hasRelatedWork W2157361709 @default.
- W4379619637 hasRelatedWork W2392611319 @default.
- W4379619637 hasRelatedWork W2491721896 @default.
- W4379619637 hasRelatedWork W2911307543 @default.
- W4379619637 hasRelatedWork W2973463091 @default.
- W4379619637 isParatext "false" @default.
- W4379619637 isRetracted "false" @default.
- W4379619637 workType "article" @default.