FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2163601989> ?p ?o ?g. }

• W2163601989 endingPage "1149" @default.
• W2163601989 startingPage "1138" @default.
• W2163601989 abstract "We present an efficient fully automatic approach to fault localization for safety properties stated in linear temporal logic. We view the failure as a contradiction between the specification and the actual behavior and look for components that explain this discrepancy. We find these components by solving the satisfiability of a propositional Boolean formula. We show how to construct this formula and how to extend it so that we find exactly those components that can be used to repair the circuit for a given set of counterexamples. Furthermore, we discuss how to efficiently solve the formula by using the proper decision heuristics and simulation-based preprocessing. We demonstrate the quality and efficiency of our approach by experimental results." @default.
• W2163601989 created "2016-06-24" @default.
• W2163601989 creator A5008766097 @default.
• W2163601989 creator A5024640138 @default.
• W2163601989 creator A5053520475 @default.
• W2163601989 creator A5071742136 @default.
• W2163601989 date "2008-06-01" @default.
• W2163601989 modified "2023-10-16" @default.
• W2163601989 title "Automatic Fault Localization for Property Checking" @default.
• W2163601989 cites W1507964044 @default.
• W2163601989 cites W1511845115 @default.
• W2163601989 cites W1513012091 @default.
• W2163601989 cites W1525968431 @default.
• W2163601989 cites W1535375892 @default.
• W2163601989 cites W1539380957 @default.
• W2163601989 cites W1560374668 @default.
• W2163601989 cites W1821427360 @default.
• W2163601989 cites W1822320350 @default.
• W2163601989 cites W1979903718 @default.
• W2163601989 cites W1985900990 @default.
• W2163601989 cites W2023808162 @default.
• W2163601989 cites W2044560939 @default.
• W2163601989 cites W2048413377 @default.
• W2163601989 cites W2096541971 @default.
• W2163601989 cites W2108309071 @default.
• W2163601989 cites W2144739191 @default.
• W2163601989 cites W2147348835 @default.
• W2163601989 cites W2147971753 @default.
• W2163601989 cites W2154462766 @default.
• W2163601989 cites W2162535172 @default.
• W2163601989 cites W2170224888 @default.
• W2163601989 cites W2179498156 @default.
• W2163601989 cites W4252197513 @default.
• W2163601989 doi "https://doi.org/10.1109/tcad.2008.923234" @default.
• W2163601989 hasPublicationYear "2008" @default.
• W2163601989 type Work @default.
• W2163601989 sameAs 2163601989 @default.
• W2163601989 citedByCount "86" @default.
• W2163601989 countsByYear W21636019892012 @default.
• W2163601989 countsByYear W21636019892013 @default.
• W2163601989 countsByYear W21636019892014 @default.
• W2163601989 countsByYear W21636019892015 @default.
• W2163601989 countsByYear W21636019892016 @default.
• W2163601989 countsByYear W21636019892017 @default.
• W2163601989 countsByYear W21636019892018 @default.
• W2163601989 countsByYear W21636019892019 @default.
• W2163601989 countsByYear W21636019892020 @default.
• W2163601989 countsByYear W21636019892021 @default.
• W2163601989 countsByYear W21636019892022 @default.
• W2163601989 crossrefType "journal-article" @default.
• W2163601989 hasAuthorship W2163601989A5008766097 @default.
• W2163601989 hasAuthorship W2163601989A5024640138 @default.
• W2163601989 hasAuthorship W2163601989A5053520475 @default.
• W2163601989 hasAuthorship W2163601989A5071742136 @default.
• W2163601989 hasConcept C102993220 @default.
• W2163601989 hasConcept C110251889 @default.
• W2163601989 hasConcept C111472728 @default.
• W2163601989 hasConcept C111919701 @default.
• W2163601989 hasConcept C11413529 @default.
• W2163601989 hasConcept C118615104 @default.
• W2163601989 hasConcept C127705205 @default.
• W2163601989 hasConcept C138885662 @default.
• W2163601989 hasConcept C14523651 @default.
• W2163601989 hasConcept C154945302 @default.
• W2163601989 hasConcept C162838799 @default.
• W2163601989 hasConcept C168773769 @default.
• W2163601989 hasConcept C177264268 @default.
• W2163601989 hasConcept C189950617 @default.
• W2163601989 hasConcept C199360897 @default.
• W2163601989 hasConcept C200415742 @default.
• W2163601989 hasConcept C2779530757 @default.
• W2163601989 hasConcept C2780801425 @default.
• W2163601989 hasConcept C33203268 @default.
• W2163601989 hasConcept C33923547 @default.
• W2163601989 hasConcept C34736171 @default.
• W2163601989 hasConcept C41008148 @default.
• W2163601989 hasConcept C4777664 @default.
• W2163601989 hasConcept C6943359 @default.
• W2163601989 hasConcept C69562738 @default.
• W2163601989 hasConcept C74640108 @default.
• W2163601989 hasConcept C80444323 @default.
• W2163601989 hasConceptScore W2163601989C102993220 @default.
• W2163601989 hasConceptScore W2163601989C110251889 @default.
• W2163601989 hasConceptScore W2163601989C111472728 @default.
• W2163601989 hasConceptScore W2163601989C111919701 @default.
• W2163601989 hasConceptScore W2163601989C11413529 @default.
• W2163601989 hasConceptScore W2163601989C118615104 @default.
• W2163601989 hasConceptScore W2163601989C127705205 @default.
• W2163601989 hasConceptScore W2163601989C138885662 @default.
• W2163601989 hasConceptScore W2163601989C14523651 @default.
• W2163601989 hasConceptScore W2163601989C154945302 @default.
• W2163601989 hasConceptScore W2163601989C162838799 @default.
• W2163601989 hasConceptScore W2163601989C168773769 @default.
• W2163601989 hasConceptScore W2163601989C177264268 @default.
• W2163601989 hasConceptScore W2163601989C189950617 @default.
• W2163601989 hasConceptScore W2163601989C199360897 @default.
• W2163601989 hasConceptScore W2163601989C200415742 @default.
• W2163601989 hasConceptScore W2163601989C2779530757 @default.

• next