Matches in SemOpenAlex for { <https://semopenalex.org/work/W2602455043> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2602455043 abstract "Symbolic execution can automatically explore different execution paths in a system under test and generate tests to precisely cover them. It has two main advantages-being automatic and thorough within a theory-and has many successful applications. The bottleneck of symbolic execution currently is the computation consumption for complex systems. Compositional Symbolic Execution (CSE) introduces a summarisation module to eliminate the redundancy in the exploration of repeatedly encountered code. In our previous work, we generalised the summarisation for any code fragments instead of functions. In this paper, we transplant this idea onto LLVM with many additional features, one of them being the use of incremental solving. We show that the combination of CSE and incremental solving is mutually beneficial. The obvious weakness of CSE is the lack of context during summarisation. We discuss the use of assumption-based features, available in modern constraint solvers, as a way to overcome this problem." @default.
- W2602455043 created "2017-04-07" @default.
- W2602455043 creator A5028824146 @default.
- W2602455043 creator A5089918005 @default.
- W2602455043 creator A5090766093 @default.
- W2602455043 date "2016-01-01" @default.
- W2602455043 modified "2023-09-26" @default.
- W2602455043 title "Compositional Symbolic Execution: Incremental Solving Revisited" @default.
- W2602455043 cites W1781612918 @default.
- W2602455043 cites W1963739845 @default.
- W2602455043 cites W1979693894 @default.
- W2602455043 cites W1982205631 @default.
- W2602455043 cites W1987289444 @default.
- W2602455043 cites W2009489720 @default.
- W2602455043 cites W2011367000 @default.
- W2602455043 cites W2101512909 @default.
- W2602455043 cites W2109998301 @default.
- W2602455043 cites W2113864883 @default.
- W2602455043 cites W2129487583 @default.
- W2602455043 cites W2133612077 @default.
- W2602455043 cites W2136601052 @default.
- W2602455043 cites W2144123593 @default.
- W2602455043 cites W2163499368 @default.
- W2602455043 cites W2171469152 @default.
- W2602455043 cites W2193749560 @default.
- W2602455043 cites W2221704545 @default.
- W2602455043 cites W2364496964 @default.
- W2602455043 cites W338608548 @default.
- W2602455043 cites W4237492309 @default.
- W2602455043 cites W4240738830 @default.
- W2602455043 cites W4240956298 @default.
- W2602455043 cites W4246166885 @default.
- W2602455043 cites W4298447450 @default.
- W2602455043 cites W51507023 @default.
- W2602455043 doi "https://doi.org/10.1109/apsec.2016.046" @default.
- W2602455043 hasPublicationYear "2016" @default.
- W2602455043 type Work @default.
- W2602455043 sameAs 2602455043 @default.
- W2602455043 citedByCount "1" @default.
- W2602455043 countsByYear W26024550432022 @default.
- W2602455043 crossrefType "proceedings-article" @default.
- W2602455043 hasAuthorship W2602455043A5028824146 @default.
- W2602455043 hasAuthorship W2602455043A5089918005 @default.
- W2602455043 hasAuthorship W2602455043A5090766093 @default.
- W2602455043 hasConcept C111919701 @default.
- W2602455043 hasConcept C127413603 @default.
- W2602455043 hasConcept C149635348 @default.
- W2602455043 hasConcept C151730666 @default.
- W2602455043 hasConcept C152124472 @default.
- W2602455043 hasConcept C177264268 @default.
- W2602455043 hasConcept C199360897 @default.
- W2602455043 hasConcept C2776036281 @default.
- W2602455043 hasConcept C2776760102 @default.
- W2602455043 hasConcept C2777904410 @default.
- W2602455043 hasConcept C2779343474 @default.
- W2602455043 hasConcept C2779639559 @default.
- W2602455043 hasConcept C2780513914 @default.
- W2602455043 hasConcept C41008148 @default.
- W2602455043 hasConcept C78519656 @default.
- W2602455043 hasConcept C80444323 @default.
- W2602455043 hasConcept C86803240 @default.
- W2602455043 hasConceptScore W2602455043C111919701 @default.
- W2602455043 hasConceptScore W2602455043C127413603 @default.
- W2602455043 hasConceptScore W2602455043C149635348 @default.
- W2602455043 hasConceptScore W2602455043C151730666 @default.
- W2602455043 hasConceptScore W2602455043C152124472 @default.
- W2602455043 hasConceptScore W2602455043C177264268 @default.
- W2602455043 hasConceptScore W2602455043C199360897 @default.
- W2602455043 hasConceptScore W2602455043C2776036281 @default.
- W2602455043 hasConceptScore W2602455043C2776760102 @default.
- W2602455043 hasConceptScore W2602455043C2777904410 @default.
- W2602455043 hasConceptScore W2602455043C2779343474 @default.
- W2602455043 hasConceptScore W2602455043C2779639559 @default.
- W2602455043 hasConceptScore W2602455043C2780513914 @default.
- W2602455043 hasConceptScore W2602455043C41008148 @default.
- W2602455043 hasConceptScore W2602455043C78519656 @default.
- W2602455043 hasConceptScore W2602455043C80444323 @default.
- W2602455043 hasConceptScore W2602455043C86803240 @default.
- W2602455043 hasLocation W26024550431 @default.
- W2602455043 hasOpenAccess W2602455043 @default.
- W2602455043 hasPrimaryLocation W26024550431 @default.
- W2602455043 hasRelatedWork W198136691 @default.
- W2602455043 hasRelatedWork W2087937280 @default.
- W2602455043 hasRelatedWork W2171153670 @default.
- W2602455043 hasRelatedWork W2353647904 @default.
- W2602455043 hasRelatedWork W2354251581 @default.
- W2602455043 hasRelatedWork W2357461155 @default.
- W2602455043 hasRelatedWork W2384129116 @default.
- W2602455043 hasRelatedWork W3145924829 @default.
- W2602455043 hasRelatedWork W3152267458 @default.
- W2602455043 hasRelatedWork W4243252198 @default.
- W2602455043 isParatext "false" @default.
- W2602455043 isRetracted "false" @default.
- W2602455043 magId "2602455043" @default.
- W2602455043 workType "article" @default.