Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108513529> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2108513529 endingPage "117" @default.
- W2108513529 startingPage "98" @default.
- W2108513529 abstract "Safe data abstractions are widely used for verification purposes. Positive verification results can be transferred from the abstract to the concrete system. When a property is violated in the abstract system, one still has to check whether a concrete violation scenario exists. However, even when the violation scenario is not reproducible in the concrete system (a false negative), it may still contain information on possible sources of bugs. Here, we propose a bug hunting framework based on abstract violation scenarios. We first extract a violation pattern from one abstract violation scenario. The violation pattern represents multiple abstract violation scenarios, increasing the chance that a corresponding concrete violation exists. Then, we look for a concrete violation that corresponds to the violation pattern by using constraint solving techniques. Finally, we define the class of counterexamples that we can handle and argue correctness of the proposed framework. Our method combines two formal techniques, model checking and constraint solving. Through an analysis of contracting and precise abstractions, we are able to integrate overapproximation by abstraction with concrete counterexample generation." @default.
- W2108513529 created "2016-06-24" @default.
- W2108513529 creator A5001933154 @default.
- W2108513529 creator A5012697499 @default.
- W2108513529 creator A5053568949 @default.
- W2108513529 creator A5086365218 @default.
- W2108513529 date "2007-01-01" @default.
- W2108513529 modified "2023-09-26" @default.
- W2108513529 title "Bug Hunting with False Negatives" @default.
- W2108513529 cites W121750629 @default.
- W2108513529 cites W1497571013 @default.
- W2108513529 cites W1515363397 @default.
- W2108513529 cites W1557957257 @default.
- W2108513529 cites W1581520638 @default.
- W2108513529 cites W1589232796 @default.
- W2108513529 cites W1847824087 @default.
- W2108513529 cites W1987073197 @default.
- W2108513529 cites W2005370174 @default.
- W2108513529 cites W2043100293 @default.
- W2108513529 cites W2066680644 @default.
- W2108513529 cites W2080593426 @default.
- W2108513529 cites W2087771409 @default.
- W2108513529 cites W2090106217 @default.
- W2108513529 cites W2119824166 @default.
- W2108513529 cites W2127574686 @default.
- W2108513529 cites W2914979197 @default.
- W2108513529 doi "https://doi.org/10.1007/978-3-540-73210-5_6" @default.
- W2108513529 hasPublicationYear "2007" @default.
- W2108513529 type Work @default.
- W2108513529 sameAs 2108513529 @default.
- W2108513529 citedByCount "0" @default.
- W2108513529 crossrefType "book-chapter" @default.
- W2108513529 hasAuthorship W2108513529A5001933154 @default.
- W2108513529 hasAuthorship W2108513529A5012697499 @default.
- W2108513529 hasAuthorship W2108513529A5053568949 @default.
- W2108513529 hasAuthorship W2108513529A5086365218 @default.
- W2108513529 hasBestOaLocation W21085135292 @default.
- W2108513529 hasConcept C110251889 @default.
- W2108513529 hasConcept C111472728 @default.
- W2108513529 hasConcept C118615104 @default.
- W2108513529 hasConcept C124304363 @default.
- W2108513529 hasConcept C138885662 @default.
- W2108513529 hasConcept C154945302 @default.
- W2108513529 hasConcept C162838799 @default.
- W2108513529 hasConcept C189950617 @default.
- W2108513529 hasConcept C199360897 @default.
- W2108513529 hasConcept C2524010 @default.
- W2108513529 hasConcept C2776036281 @default.
- W2108513529 hasConcept C2777212361 @default.
- W2108513529 hasConcept C33923547 @default.
- W2108513529 hasConcept C41008148 @default.
- W2108513529 hasConcept C55439883 @default.
- W2108513529 hasConcept C80444323 @default.
- W2108513529 hasConceptScore W2108513529C110251889 @default.
- W2108513529 hasConceptScore W2108513529C111472728 @default.
- W2108513529 hasConceptScore W2108513529C118615104 @default.
- W2108513529 hasConceptScore W2108513529C124304363 @default.
- W2108513529 hasConceptScore W2108513529C138885662 @default.
- W2108513529 hasConceptScore W2108513529C154945302 @default.
- W2108513529 hasConceptScore W2108513529C162838799 @default.
- W2108513529 hasConceptScore W2108513529C189950617 @default.
- W2108513529 hasConceptScore W2108513529C199360897 @default.
- W2108513529 hasConceptScore W2108513529C2524010 @default.
- W2108513529 hasConceptScore W2108513529C2776036281 @default.
- W2108513529 hasConceptScore W2108513529C2777212361 @default.
- W2108513529 hasConceptScore W2108513529C33923547 @default.
- W2108513529 hasConceptScore W2108513529C41008148 @default.
- W2108513529 hasConceptScore W2108513529C55439883 @default.
- W2108513529 hasConceptScore W2108513529C80444323 @default.
- W2108513529 hasLocation W21085135291 @default.
- W2108513529 hasLocation W21085135292 @default.
- W2108513529 hasLocation W21085135293 @default.
- W2108513529 hasLocation W21085135294 @default.
- W2108513529 hasLocation W21085135295 @default.
- W2108513529 hasOpenAccess W2108513529 @default.
- W2108513529 hasPrimaryLocation W21085135291 @default.
- W2108513529 hasRelatedWork W1985198438 @default.
- W2108513529 hasRelatedWork W1998779352 @default.
- W2108513529 hasRelatedWork W2003959877 @default.
- W2108513529 hasRelatedWork W2010830882 @default.
- W2108513529 hasRelatedWork W2085535520 @default.
- W2108513529 hasRelatedWork W2108513529 @default.
- W2108513529 hasRelatedWork W2127574686 @default.
- W2108513529 hasRelatedWork W3149078839 @default.
- W2108513529 hasRelatedWork W4255502621 @default.
- W2108513529 hasRelatedWork W2468979936 @default.
- W2108513529 isParatext "false" @default.
- W2108513529 isRetracted "false" @default.
- W2108513529 magId "2108513529" @default.
- W2108513529 workType "book-chapter" @default.