Matches in SemOpenAlex for { <https://semopenalex.org/work/W2990769324> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2990769324 abstract "Summary Performance profiling can benefit from test cases that hit high‐cost executions of programs. In this paper, we investigate the problem of automatically generating test cases that trigger the worst‐case execution of programs and propose a novel technique that solves this problem with an unprecedented combination of symbolic execution and evolutionary algorithms. Our technique, which we refer to as ‘Evolutionary Symbolic Execution’, embraces the execution cost of the program paths as the fitness function to pursue the worst execution. It defines an original set of evolutionary operators, based on symbolic execution, which suitably sample the possible program paths to make the search process effective. Specifically, our technique defines a memetic algorithm that (i) incrementally evolves by steering symbolic execution to traverse new program paths that comply with execution conditions combined and refined from the currently collected worse program paths and (ii) periodically applies local optimizations to the execution conditions of the worst currently identified program path to further speed up the identification of the worst path. We report on a set of initial experiments indicating that our technique succeeds in generating good worst‐case test cases for programs with which existing approaches cannot cope. Also, we show that, as far as the problem of generating worst‐case test cases is concerned, the distinguishing evolutionary operators based on symbolic execution that we define in this paper are more effective than traditional operators that directly manipulate the program inputs." @default.
- W2990769324 created "2019-12-05" @default.
- W2990769324 creator A5009396473 @default.
- W2990769324 creator A5035648889 @default.
- W2990769324 creator A5038269238 @default.
- W2990769324 creator A5077180647 @default.
- W2990769324 date "2019-11-21" @default.
- W2990769324 modified "2023-09-27" @default.
- W2990769324 title "Facilitating program performance profiling via evolutionary symbolic execution" @default.
- W2990769324 cites W1762252016 @default.
- W2990769324 cites W1928648279 @default.
- W2990769324 cites W1967471703 @default.
- W2990769324 cites W1975833562 @default.
- W2990769324 cites W1985335248 @default.
- W2990769324 cites W1985982889 @default.
- W2990769324 cites W1993760289 @default.
- W2990769324 cites W2018017297 @default.
- W2990769324 cites W2041470132 @default.
- W2990769324 cites W20430633 @default.
- W2990769324 cites W2051990174 @default.
- W2990769324 cites W2061686717 @default.
- W2990769324 cites W2083801813 @default.
- W2990769324 cites W2094568767 @default.
- W2990769324 cites W2101512909 @default.
- W2990769324 cites W2107147876 @default.
- W2990769324 cites W2114869486 @default.
- W2990769324 cites W2156817734 @default.
- W2990769324 cites W2586946380 @default.
- W2990769324 cites W2614656508 @default.
- W2990769324 doi "https://doi.org/10.1002/stvr.1719" @default.
- W2990769324 hasPublicationYear "2019" @default.
- W2990769324 type Work @default.
- W2990769324 sameAs 2990769324 @default.
- W2990769324 citedByCount "0" @default.
- W2990769324 crossrefType "journal-article" @default.
- W2990769324 hasAuthorship W2990769324A5009396473 @default.
- W2990769324 hasAuthorship W2990769324A5035648889 @default.
- W2990769324 hasAuthorship W2990769324A5038269238 @default.
- W2990769324 hasAuthorship W2990769324A5077180647 @default.
- W2990769324 hasConcept C11219265 @default.
- W2990769324 hasConcept C119857082 @default.
- W2990769324 hasConcept C128942645 @default.
- W2990769324 hasConcept C13280743 @default.
- W2990769324 hasConcept C152877465 @default.
- W2990769324 hasConcept C159149176 @default.
- W2990769324 hasConcept C176809094 @default.
- W2990769324 hasConcept C177264268 @default.
- W2990769324 hasConcept C187191949 @default.
- W2990769324 hasConcept C199360897 @default.
- W2990769324 hasConcept C205649164 @default.
- W2990769324 hasConcept C2777735758 @default.
- W2990769324 hasConcept C2777904410 @default.
- W2990769324 hasConcept C2779639559 @default.
- W2990769324 hasConcept C2989134064 @default.
- W2990769324 hasConcept C35129592 @default.
- W2990769324 hasConcept C41008148 @default.
- W2990769324 hasConcept C80444323 @default.
- W2990769324 hasConcept C98045186 @default.
- W2990769324 hasConcept C98183937 @default.
- W2990769324 hasConceptScore W2990769324C11219265 @default.
- W2990769324 hasConceptScore W2990769324C119857082 @default.
- W2990769324 hasConceptScore W2990769324C128942645 @default.
- W2990769324 hasConceptScore W2990769324C13280743 @default.
- W2990769324 hasConceptScore W2990769324C152877465 @default.
- W2990769324 hasConceptScore W2990769324C159149176 @default.
- W2990769324 hasConceptScore W2990769324C176809094 @default.
- W2990769324 hasConceptScore W2990769324C177264268 @default.
- W2990769324 hasConceptScore W2990769324C187191949 @default.
- W2990769324 hasConceptScore W2990769324C199360897 @default.
- W2990769324 hasConceptScore W2990769324C205649164 @default.
- W2990769324 hasConceptScore W2990769324C2777735758 @default.
- W2990769324 hasConceptScore W2990769324C2777904410 @default.
- W2990769324 hasConceptScore W2990769324C2779639559 @default.
- W2990769324 hasConceptScore W2990769324C2989134064 @default.
- W2990769324 hasConceptScore W2990769324C35129592 @default.
- W2990769324 hasConceptScore W2990769324C41008148 @default.
- W2990769324 hasConceptScore W2990769324C80444323 @default.
- W2990769324 hasConceptScore W2990769324C98045186 @default.
- W2990769324 hasConceptScore W2990769324C98183937 @default.
- W2990769324 hasIssue "2" @default.
- W2990769324 hasLocation W29907693241 @default.
- W2990769324 hasOpenAccess W2990769324 @default.
- W2990769324 hasPrimaryLocation W29907693241 @default.
- W2990769324 hasRelatedWork W1541187842 @default.
- W2990769324 hasRelatedWork W19720440 @default.
- W2990769324 hasRelatedWork W2364496964 @default.
- W2990769324 hasRelatedWork W2375338395 @default.
- W2990769324 hasRelatedWork W2885626945 @default.
- W2990769324 hasRelatedWork W2962746916 @default.
- W2990769324 hasRelatedWork W2972209643 @default.
- W2990769324 hasRelatedWork W345638404 @default.
- W2990769324 hasRelatedWork W4295529944 @default.
- W2990769324 hasRelatedWork W4376123179 @default.
- W2990769324 hasVolume "30" @default.
- W2990769324 isParatext "false" @default.
- W2990769324 isRetracted "false" @default.
- W2990769324 magId "2990769324" @default.
- W2990769324 workType "article" @default.