Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952208631> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2952208631 abstract "Even competent programmers make mistakes. Automatic verification can detect errors, but leaves the frustrating task of finding the erroneous line of code to the user. This paper presents an automatic approach for identifying potential error locations in software. It is based on a deductive verification engine, which detects errors in functions annotated with pre- and post-conditions. Using an automatic theorem prover, our approach finds expressions in the code that can be modified such that the program satisfies its specification. Scalability is achieved by analyzing each function in isolation. We have implemented our approach in the widely used Frama-C framework and present first experimental results. This is an extended version of [8], featuring an additional appendix." @default.
- W2952208631 created "2019-06-27" @default.
- W2952208631 creator A5000137105 @default.
- W2952208631 creator A5032862317 @default.
- W2952208631 creator A5053520475 @default.
- W2952208631 date "2014-09-16" @default.
- W2952208631 modified "2023-09-27" @default.
- W2952208631 title "Automatic Error Localization for Software using Deductive Verification" @default.
- W2952208631 cites W1581576329 @default.
- W2952208631 cites W165943180 @default.
- W2952208631 cites W1756737036 @default.
- W2952208631 cites W1985900990 @default.
- W2952208631 cites W2040900440 @default.
- W2952208631 cites W2101819268 @default.
- W2952208631 cites W2134693143 @default.
- W2952208631 cites W2293797831 @default.
- W2952208631 hasPublicationYear "2014" @default.
- W2952208631 type Work @default.
- W2952208631 sameAs 2952208631 @default.
- W2952208631 citedByCount "0" @default.
- W2952208631 crossrefType "posted-content" @default.
- W2952208631 hasAuthorship W2952208631A5000137105 @default.
- W2952208631 hasAuthorship W2952208631A5032862317 @default.
- W2952208631 hasAuthorship W2952208631A5053520475 @default.
- W2952208631 hasConcept C108710211 @default.
- W2952208631 hasConcept C11413529 @default.
- W2952208631 hasConcept C14036430 @default.
- W2952208631 hasConcept C159718280 @default.
- W2952208631 hasConcept C162324750 @default.
- W2952208631 hasConcept C177264268 @default.
- W2952208631 hasConcept C186846655 @default.
- W2952208631 hasConcept C187736073 @default.
- W2952208631 hasConcept C199360897 @default.
- W2952208631 hasConcept C199519371 @default.
- W2952208631 hasConcept C206880738 @default.
- W2952208631 hasConcept C2524010 @default.
- W2952208631 hasConcept C2776760102 @default.
- W2952208631 hasConcept C2777904410 @default.
- W2952208631 hasConcept C2780451532 @default.
- W2952208631 hasConcept C33054407 @default.
- W2952208631 hasConcept C33923547 @default.
- W2952208631 hasConcept C41008148 @default.
- W2952208631 hasConcept C48044578 @default.
- W2952208631 hasConcept C529173508 @default.
- W2952208631 hasConcept C77088390 @default.
- W2952208631 hasConcept C78458016 @default.
- W2952208631 hasConcept C80444323 @default.
- W2952208631 hasConcept C86803240 @default.
- W2952208631 hasConceptScore W2952208631C108710211 @default.
- W2952208631 hasConceptScore W2952208631C11413529 @default.
- W2952208631 hasConceptScore W2952208631C14036430 @default.
- W2952208631 hasConceptScore W2952208631C159718280 @default.
- W2952208631 hasConceptScore W2952208631C162324750 @default.
- W2952208631 hasConceptScore W2952208631C177264268 @default.
- W2952208631 hasConceptScore W2952208631C186846655 @default.
- W2952208631 hasConceptScore W2952208631C187736073 @default.
- W2952208631 hasConceptScore W2952208631C199360897 @default.
- W2952208631 hasConceptScore W2952208631C199519371 @default.
- W2952208631 hasConceptScore W2952208631C206880738 @default.
- W2952208631 hasConceptScore W2952208631C2524010 @default.
- W2952208631 hasConceptScore W2952208631C2776760102 @default.
- W2952208631 hasConceptScore W2952208631C2777904410 @default.
- W2952208631 hasConceptScore W2952208631C2780451532 @default.
- W2952208631 hasConceptScore W2952208631C33054407 @default.
- W2952208631 hasConceptScore W2952208631C33923547 @default.
- W2952208631 hasConceptScore W2952208631C41008148 @default.
- W2952208631 hasConceptScore W2952208631C48044578 @default.
- W2952208631 hasConceptScore W2952208631C529173508 @default.
- W2952208631 hasConceptScore W2952208631C77088390 @default.
- W2952208631 hasConceptScore W2952208631C78458016 @default.
- W2952208631 hasConceptScore W2952208631C80444323 @default.
- W2952208631 hasConceptScore W2952208631C86803240 @default.
- W2952208631 hasLocation W29522086311 @default.
- W2952208631 hasOpenAccess W2952208631 @default.
- W2952208631 hasPrimaryLocation W29522086311 @default.
- W2952208631 hasRelatedWork W101476423 @default.
- W2952208631 hasRelatedWork W1272385303 @default.
- W2952208631 hasRelatedWork W1537098769 @default.
- W2952208631 hasRelatedWork W1581576329 @default.
- W2952208631 hasRelatedWork W1883733964 @default.
- W2952208631 hasRelatedWork W1963797508 @default.
- W2952208631 hasRelatedWork W1978116285 @default.
- W2952208631 hasRelatedWork W2043609748 @default.
- W2952208631 hasRelatedWork W2102285002 @default.
- W2952208631 hasRelatedWork W2155068430 @default.
- W2952208631 hasRelatedWork W2297515898 @default.
- W2952208631 hasRelatedWork W2462980801 @default.
- W2952208631 hasRelatedWork W2509822438 @default.
- W2952208631 hasRelatedWork W2883813762 @default.
- W2952208631 hasRelatedWork W2947321942 @default.
- W2952208631 hasRelatedWork W2979368354 @default.
- W2952208631 hasRelatedWork W2979576127 @default.
- W2952208631 hasRelatedWork W2981403379 @default.
- W2952208631 hasRelatedWork W3152564824 @default.
- W2952208631 hasRelatedWork W3165405326 @default.
- W2952208631 isParatext "false" @default.
- W2952208631 isRetracted "false" @default.
- W2952208631 magId "2952208631" @default.
- W2952208631 workType "article" @default.