Matches in SemOpenAlex for { <https://semopenalex.org/work/W2350272569> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2350272569 abstract "Traditional dynamic program analysis relies on exploring all possible paths of program execution. In reality, however , programs have a large number of, or even infinitely many, paths. Since it is not feasible to explore all paths, precise analysis is limited to simple cases. Concolic testing method combines symbolic analysis and concrete values of variables obtained by executing programs. Though it improves applicability of traditional approaches, concolic testing is still limited by the number of explorable paths. To address this problem, this paper proposed a method here based on executing partitions of a program and automatically generating summaries for those partitions. This method extends concolic testing, improving its perfor-mance and making it applicable to certain programs with unbounded paths." @default.
- W2350272569 created "2016-06-24" @default.
- W2350272569 creator A5090279439 @default.
- W2350272569 date "2010-01-01" @default.
- W2350272569 modified "2023-09-26" @default.
- W2350272569 title "Dynamic program analysis based on partitioning and summarization" @default.
- W2350272569 hasPublicationYear "2010" @default.
- W2350272569 type Work @default.
- W2350272569 sameAs 2350272569 @default.
- W2350272569 citedByCount "0" @default.
- W2350272569 crossrefType "journal-article" @default.
- W2350272569 hasAuthorship W2350272569A5090279439 @default.
- W2350272569 hasConcept C111065885 @default.
- W2350272569 hasConcept C111472728 @default.
- W2350272569 hasConcept C11219265 @default.
- W2350272569 hasConcept C124101348 @default.
- W2350272569 hasConcept C138885662 @default.
- W2350272569 hasConcept C154945302 @default.
- W2350272569 hasConcept C170858558 @default.
- W2350272569 hasConcept C199360897 @default.
- W2350272569 hasConcept C2777904410 @default.
- W2350272569 hasConcept C2779639559 @default.
- W2350272569 hasConcept C2780586882 @default.
- W2350272569 hasConcept C41008148 @default.
- W2350272569 hasConcept C80444323 @default.
- W2350272569 hasConcept C97686452 @default.
- W2350272569 hasConcept C98183937 @default.
- W2350272569 hasConceptScore W2350272569C111065885 @default.
- W2350272569 hasConceptScore W2350272569C111472728 @default.
- W2350272569 hasConceptScore W2350272569C11219265 @default.
- W2350272569 hasConceptScore W2350272569C124101348 @default.
- W2350272569 hasConceptScore W2350272569C138885662 @default.
- W2350272569 hasConceptScore W2350272569C154945302 @default.
- W2350272569 hasConceptScore W2350272569C170858558 @default.
- W2350272569 hasConceptScore W2350272569C199360897 @default.
- W2350272569 hasConceptScore W2350272569C2777904410 @default.
- W2350272569 hasConceptScore W2350272569C2779639559 @default.
- W2350272569 hasConceptScore W2350272569C2780586882 @default.
- W2350272569 hasConceptScore W2350272569C41008148 @default.
- W2350272569 hasConceptScore W2350272569C80444323 @default.
- W2350272569 hasConceptScore W2350272569C97686452 @default.
- W2350272569 hasConceptScore W2350272569C98183937 @default.
- W2350272569 hasLocation W23502725691 @default.
- W2350272569 hasOpenAccess W2350272569 @default.
- W2350272569 hasPrimaryLocation W23502725691 @default.
- W2350272569 hasRelatedWork W1425739659 @default.
- W2350272569 hasRelatedWork W14662855 @default.
- W2350272569 hasRelatedWork W2006860739 @default.
- W2350272569 hasRelatedWork W2009113169 @default.
- W2350272569 hasRelatedWork W2029571740 @default.
- W2350272569 hasRelatedWork W2040728469 @default.
- W2350272569 hasRelatedWork W2048854494 @default.
- W2350272569 hasRelatedWork W2071067812 @default.
- W2350272569 hasRelatedWork W2075944923 @default.
- W2350272569 hasRelatedWork W2100114315 @default.
- W2350272569 hasRelatedWork W2104405135 @default.
- W2350272569 hasRelatedWork W2113531724 @default.
- W2350272569 hasRelatedWork W2135730677 @default.
- W2350272569 hasRelatedWork W2167421403 @default.
- W2350272569 hasRelatedWork W2612371455 @default.
- W2350272569 hasRelatedWork W2905722102 @default.
- W2350272569 hasRelatedWork W2919495556 @default.
- W2350272569 hasRelatedWork W2947203014 @default.
- W2350272569 hasRelatedWork W3213182664 @default.
- W2350272569 hasRelatedWork W1656563103 @default.
- W2350272569 isParatext "false" @default.
- W2350272569 isRetracted "false" @default.
- W2350272569 magId "2350272569" @default.
- W2350272569 workType "article" @default.