Matches in SemOpenAlex for { <https://semopenalex.org/work/W2972020731> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2972020731 endingPage "424" @default.
- W2972020731 startingPage "405" @default.
- W2972020731 abstract "Analyzing and verifying heap-manipulating programs automatically is challenging. A key for fighting the complexity is to develop compositional methods. For instance, many existing verifiers for heap-manipulating programs require user-provided specification for each function in the program in order to decompose the verification problem. The requirement, however, often hinders the users from applying such tools. To overcome the issue, we propose to automatically learn heap-related program invariants in a property-guided way for each function call. The invariants are learned based on the memory graphs observed during test execution and improved through memory graph mutation. We implemented a prototype of our approach and integrated it with two existing program verifiers. The experimental results show that our approach enhances existing verifiers effectively in automatically verifying complex heap-manipulating programs with multiple function calls." @default.
- W2972020731 created "2019-09-12" @default.
- W2972020731 creator A5060517079 @default.
- W2972020731 creator A5068911982 @default.
- W2972020731 creator A5088791019 @default.
- W2972020731 date "2019-01-01" @default.
- W2972020731 modified "2023-09-26" @default.
- W2972020731 title "Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning" @default.
- W2972020731 cites W134837158 @default.
- W2972020731 cites W145069693 @default.
- W2972020731 cites W1495368328 @default.
- W2972020731 cites W1498946538 @default.
- W2972020731 cites W1560366856 @default.
- W2972020731 cites W1697035421 @default.
- W2972020731 cites W1765120705 @default.
- W2972020731 cites W1964874178 @default.
- W2972020731 cites W1992012690 @default.
- W2972020731 cites W2036196659 @default.
- W2972020731 cites W2045388381 @default.
- W2972020731 cites W2053154567 @default.
- W2972020731 cites W2076719323 @default.
- W2972020731 cites W2107709519 @default.
- W2972020731 cites W2110908283 @default.
- W2972020731 cites W2130427425 @default.
- W2972020731 cites W2137628566 @default.
- W2972020731 cites W2160443286 @default.
- W2972020731 cites W2161253570 @default.
- W2972020731 cites W2170577595 @default.
- W2972020731 cites W2185676247 @default.
- W2972020731 cites W2211800868 @default.
- W2972020731 cites W2264729369 @default.
- W2972020731 cites W2397043727 @default.
- W2972020731 cites W2414616261 @default.
- W2972020731 cites W2416392025 @default.
- W2972020731 cites W2502150621 @default.
- W2972020731 cites W2533284009 @default.
- W2972020731 cites W2598112247 @default.
- W2972020731 cites W2613252377 @default.
- W2972020731 cites W2767681984 @default.
- W2972020731 cites W2784656124 @default.
- W2972020731 cites W2809018007 @default.
- W2972020731 cites W2897230829 @default.
- W2972020731 cites W2955879452 @default.
- W2972020731 cites W2963228000 @default.
- W2972020731 cites W2967523636 @default.
- W2972020731 cites W3037414458 @default.
- W2972020731 cites W3158747708 @default.
- W2972020731 cites W4243994983 @default.
- W2972020731 cites W634201214 @default.
- W2972020731 cites W967948971 @default.
- W2972020731 cites W2748853711 @default.
- W2972020731 doi "https://doi.org/10.1007/978-3-030-34175-6_21" @default.
- W2972020731 hasPublicationYear "2019" @default.
- W2972020731 type Work @default.
- W2972020731 sameAs 2972020731 @default.
- W2972020731 citedByCount "1" @default.
- W2972020731 countsByYear W29720207312022 @default.
- W2972020731 crossrefType "book-chapter" @default.
- W2972020731 hasAuthorship W2972020731A5060517079 @default.
- W2972020731 hasAuthorship W2972020731A5068911982 @default.
- W2972020731 hasAuthorship W2972020731A5088791019 @default.
- W2972020731 hasBestOaLocation W29720207312 @default.
- W2972020731 hasConcept C111472728 @default.
- W2972020731 hasConcept C134757568 @default.
- W2972020731 hasConcept C138885662 @default.
- W2972020731 hasConcept C189950617 @default.
- W2972020731 hasConcept C199360897 @default.
- W2972020731 hasConcept C41008148 @default.
- W2972020731 hasConceptScore W2972020731C111472728 @default.
- W2972020731 hasConceptScore W2972020731C134757568 @default.
- W2972020731 hasConceptScore W2972020731C138885662 @default.
- W2972020731 hasConceptScore W2972020731C189950617 @default.
- W2972020731 hasConceptScore W2972020731C199360897 @default.
- W2972020731 hasConceptScore W2972020731C41008148 @default.
- W2972020731 hasLocation W29720207311 @default.
- W2972020731 hasLocation W29720207312 @default.
- W2972020731 hasLocation W29720207313 @default.
- W2972020731 hasLocation W29720207314 @default.
- W2972020731 hasOpenAccess W2972020731 @default.
- W2972020731 hasPrimaryLocation W29720207311 @default.
- W2972020731 hasRelatedWork W1527862632 @default.
- W2972020731 hasRelatedWork W2109507516 @default.
- W2972020731 hasRelatedWork W2112962394 @default.
- W2972020731 hasRelatedWork W2118300983 @default.
- W2972020731 hasRelatedWork W2135396778 @default.
- W2972020731 hasRelatedWork W2382501300 @default.
- W2972020731 hasRelatedWork W2740990710 @default.
- W2972020731 hasRelatedWork W3137189469 @default.
- W2972020731 hasRelatedWork W4235530921 @default.
- W2972020731 hasRelatedWork W4243252198 @default.
- W2972020731 isParatext "false" @default.
- W2972020731 isRetracted "false" @default.
- W2972020731 magId "2972020731" @default.
- W2972020731 workType "book-chapter" @default.