Matches in SemOpenAlex for { <https://semopenalex.org/work/W2183656320> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2183656320 abstract "Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence, to deploy more dependable software. This paper builds on one such systematic technique, scope-bounded testing, to develop a novel specification-based approach for efficiently generating tests for products in a software product line. Given properties of features as first-order logic formulas in Alloy, our approach uses SAT-based analysis to automatically generate test inputs for each product in a product line. To ensure soundness of generation, we introduce an automatic technique for mapping a formula that specifies a feature into a transformation that defines incremental refinement of test suites. Our experimental results using different data structure product lines show that an incremental approach can provide an order of magnitude speedup over conventional techniques. We also present a further optimization using dedicated integer constraint solvers for feature properties that introduce integer constraints, and show how to use a combination of solvers in tandem for solving Alloy formulas." @default.
- W2183656320 created "2016-06-24" @default.
- W2183656320 creator A5027927485 @default.
- W2183656320 creator A5054067350 @default.
- W2183656320 creator A5073429264 @default.
- W2183656320 date "2011-01-01" @default.
- W2183656320 modified "2023-09-26" @default.
- W2183656320 title "Chronological Test Generation for Software Project SLoC" @default.
- W2183656320 cites W1568333198 @default.
- W2183656320 cites W1819719652 @default.
- W2183656320 cites W1939467000 @default.
- W2183656320 cites W2023546887 @default.
- W2183656320 cites W2075642720 @default.
- W2183656320 cites W2106288302 @default.
- W2183656320 cites W2113201637 @default.
- W2183656320 cites W2125855750 @default.
- W2183656320 cites W2158343811 @default.
- W2183656320 hasPublicationYear "2011" @default.
- W2183656320 type Work @default.
- W2183656320 sameAs 2183656320 @default.
- W2183656320 citedByCount "0" @default.
- W2183656320 crossrefType "journal-article" @default.
- W2183656320 hasAuthorship W2183656320A5027927485 @default.
- W2183656320 hasAuthorship W2183656320A5054067350 @default.
- W2183656320 hasAuthorship W2183656320A5073429264 @default.
- W2183656320 hasConcept C101814296 @default.
- W2183656320 hasConcept C11413529 @default.
- W2183656320 hasConcept C124101348 @default.
- W2183656320 hasConcept C199360897 @default.
- W2183656320 hasConcept C2777904410 @default.
- W2183656320 hasConcept C2778012447 @default.
- W2183656320 hasConcept C2778177629 @default.
- W2183656320 hasConcept C39920170 @default.
- W2183656320 hasConcept C41008148 @default.
- W2183656320 hasConcept C529173508 @default.
- W2183656320 hasConcept C97137487 @default.
- W2183656320 hasConceptScore W2183656320C101814296 @default.
- W2183656320 hasConceptScore W2183656320C11413529 @default.
- W2183656320 hasConceptScore W2183656320C124101348 @default.
- W2183656320 hasConceptScore W2183656320C199360897 @default.
- W2183656320 hasConceptScore W2183656320C2777904410 @default.
- W2183656320 hasConceptScore W2183656320C2778012447 @default.
- W2183656320 hasConceptScore W2183656320C2778177629 @default.
- W2183656320 hasConceptScore W2183656320C39920170 @default.
- W2183656320 hasConceptScore W2183656320C41008148 @default.
- W2183656320 hasConceptScore W2183656320C529173508 @default.
- W2183656320 hasConceptScore W2183656320C97137487 @default.
- W2183656320 hasLocation W21836563201 @default.
- W2183656320 hasOpenAccess W2183656320 @default.
- W2183656320 hasPrimaryLocation W21836563201 @default.
- W2183656320 hasRelatedWork W149731632 @default.
- W2183656320 hasRelatedWork W1670129481 @default.
- W2183656320 hasRelatedWork W1800180205 @default.
- W2183656320 hasRelatedWork W1965693119 @default.
- W2183656320 hasRelatedWork W1972058794 @default.
- W2183656320 hasRelatedWork W2042546688 @default.
- W2183656320 hasRelatedWork W2052190470 @default.
- W2183656320 hasRelatedWork W2058224907 @default.
- W2183656320 hasRelatedWork W2117988024 @default.
- W2183656320 hasRelatedWork W2124875144 @default.
- W2183656320 hasRelatedWork W2133497081 @default.
- W2183656320 hasRelatedWork W2151338677 @default.
- W2183656320 hasRelatedWork W2158827699 @default.
- W2183656320 hasRelatedWork W21977468 @default.
- W2183656320 hasRelatedWork W2418384203 @default.
- W2183656320 hasRelatedWork W2501678966 @default.
- W2183656320 hasRelatedWork W2530335466 @default.
- W2183656320 hasRelatedWork W2885205415 @default.
- W2183656320 hasRelatedWork W2953054522 @default.
- W2183656320 hasRelatedWork W3160805066 @default.
- W2183656320 isParatext "false" @default.
- W2183656320 isRetracted "false" @default.
- W2183656320 magId "2183656320" @default.
- W2183656320 workType "article" @default.