Matches in SemOpenAlex for { <https://semopenalex.org/work/W4246385123> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W4246385123 abstract "Dynamic test generation is a form of dynamic program analysis that attempts to compute test inputs to drive a program along a specific program path. Directed Automated Random Testing, or DART for short, blends dynamic test generation with model checking techniques with the goal of systematically executing all feasible program paths of a program while detecting various types of errors using run-time checking tools (like Purify, for instance). Unfortunately, systematically executing all feasible program paths does not scale to large, realistic programs.This paper addresses this major limitation and proposes to perform dynamic test generation compositionally, by adapting known techniques for interprocedural static analysis. Specifically, we introduce a new algorithm, dubbed SMART for Systematic Modular Automated Random Testing, that extends DART by testing functions in isolation, encoding test results as function summaries expressed using input preconditions and output postconditions, and then re-using those summaries when testing higher-level functions. We show that, for a fixed reasoning capability, our compositional approach to dynamic test generation (SMART) is both sound and complete compared to monolithic dynamic test generation (DART). In other words, SMART can perform dynamic test generation compositionally without any reduction in program path coverage. We also show that, given a bound on the maximum number of feasible paths in individual program functions, the number of program executions explored by SMART is linear in that bound, while the number of program executions explored by DART can be exponential in that bound. We present examples of C programs and preliminary experimental results that illustrate and validate empirically these properties." @default.
- W4246385123 created "2022-05-12" @default.
- W4246385123 creator A5069392259 @default.
- W4246385123 date "2007-01-17" @default.
- W4246385123 modified "2023-09-30" @default.
- W4246385123 title "Compositional dynamic test generation" @default.
- W4246385123 cites W1845288303 @default.
- W4246385123 cites W200765967 @default.
- W4246385123 cites W2009489720 @default.
- W4246385123 cites W2065675749 @default.
- W4246385123 cites W2080573945 @default.
- W4246385123 cites W2101512909 @default.
- W4246385123 cites W2103714221 @default.
- W4246385123 cites W2104136059 @default.
- W4246385123 cites W2106545804 @default.
- W4246385123 cites W2106972913 @default.
- W4246385123 cites W2110052743 @default.
- W4246385123 cites W2117058582 @default.
- W4246385123 cites W2138721431 @default.
- W4246385123 cites W2146641295 @default.
- W4246385123 cites W2151670874 @default.
- W4246385123 cites W2171683519 @default.
- W4246385123 cites W4237492309 @default.
- W4246385123 cites W4253606798 @default.
- W4246385123 doi "https://doi.org/10.1145/1190216.1190226" @default.
- W4246385123 hasPublicationYear "2007" @default.
- W4246385123 type Work @default.
- W4246385123 citedByCount "243" @default.
- W4246385123 countsByYear W42463851232012 @default.
- W4246385123 countsByYear W42463851232013 @default.
- W4246385123 countsByYear W42463851232014 @default.
- W4246385123 countsByYear W42463851232015 @default.
- W4246385123 countsByYear W42463851232016 @default.
- W4246385123 countsByYear W42463851232017 @default.
- W4246385123 countsByYear W42463851232018 @default.
- W4246385123 countsByYear W42463851232019 @default.
- W4246385123 countsByYear W42463851232020 @default.
- W4246385123 countsByYear W42463851232021 @default.
- W4246385123 countsByYear W42463851232022 @default.
- W4246385123 countsByYear W42463851232023 @default.
- W4246385123 crossrefType "proceedings-article" @default.
- W4246385123 hasAuthorship W4246385123A5069392259 @default.
- W4246385123 hasConcept C101468663 @default.
- W4246385123 hasConcept C106159264 @default.
- W4246385123 hasConcept C11219265 @default.
- W4246385123 hasConcept C11413529 @default.
- W4246385123 hasConcept C119857082 @default.
- W4246385123 hasConcept C128942645 @default.
- W4246385123 hasConcept C140006998 @default.
- W4246385123 hasConcept C152877465 @default.
- W4246385123 hasConcept C198824145 @default.
- W4246385123 hasConcept C199360897 @default.
- W4246385123 hasConcept C2775941552 @default.
- W4246385123 hasConcept C2777735758 @default.
- W4246385123 hasConcept C2777904410 @default.
- W4246385123 hasConcept C2779639559 @default.
- W4246385123 hasConcept C41008148 @default.
- W4246385123 hasConcept C53942775 @default.
- W4246385123 hasConcept C86803240 @default.
- W4246385123 hasConcept C89423630 @default.
- W4246385123 hasConcept C97686452 @default.
- W4246385123 hasConcept C98183937 @default.
- W4246385123 hasConceptScore W4246385123C101468663 @default.
- W4246385123 hasConceptScore W4246385123C106159264 @default.
- W4246385123 hasConceptScore W4246385123C11219265 @default.
- W4246385123 hasConceptScore W4246385123C11413529 @default.
- W4246385123 hasConceptScore W4246385123C119857082 @default.
- W4246385123 hasConceptScore W4246385123C128942645 @default.
- W4246385123 hasConceptScore W4246385123C140006998 @default.
- W4246385123 hasConceptScore W4246385123C152877465 @default.
- W4246385123 hasConceptScore W4246385123C198824145 @default.
- W4246385123 hasConceptScore W4246385123C199360897 @default.
- W4246385123 hasConceptScore W4246385123C2775941552 @default.
- W4246385123 hasConceptScore W4246385123C2777735758 @default.
- W4246385123 hasConceptScore W4246385123C2777904410 @default.
- W4246385123 hasConceptScore W4246385123C2779639559 @default.
- W4246385123 hasConceptScore W4246385123C41008148 @default.
- W4246385123 hasConceptScore W4246385123C53942775 @default.
- W4246385123 hasConceptScore W4246385123C86803240 @default.
- W4246385123 hasConceptScore W4246385123C89423630 @default.
- W4246385123 hasConceptScore W4246385123C97686452 @default.
- W4246385123 hasConceptScore W4246385123C98183937 @default.
- W4246385123 hasLocation W42463851231 @default.
- W4246385123 hasOpenAccess W4246385123 @default.
- W4246385123 hasPrimaryLocation W42463851231 @default.
- W4246385123 hasRelatedWork W2133612077 @default.
- W4246385123 hasRelatedWork W223068689 @default.
- W4246385123 hasRelatedWork W2375338395 @default.
- W4246385123 hasRelatedWork W2612371455 @default.
- W4246385123 hasRelatedWork W2902376320 @default.
- W4246385123 hasRelatedWork W3015365135 @default.
- W4246385123 hasRelatedWork W3019261932 @default.
- W4246385123 hasRelatedWork W4246385123 @default.
- W4246385123 hasRelatedWork W4295529944 @default.
- W4246385123 hasRelatedWork W2185259717 @default.
- W4246385123 isParatext "false" @default.
- W4246385123 isRetracted "false" @default.
- W4246385123 workType "article" @default.