Matches in SemOpenAlex for { <https://semopenalex.org/work/W4255168061> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4255168061 endingPage "459" @default.
- W4255168061 startingPage "445" @default.
- W4255168061 abstract "The ability to generate counterexamples for failing properties is often cited as one of the strengths of model checking. However, it is often difficult to interpret long error traces in which many variables appear. Further, a traditional error trace presents only one possible behavior of the system causing the failure, with no further annotation. Our objective is to “capture more of the error” in an error trace to make debugging easier.We present an enhanced error trace in an alternation of fated (forced) and free segments. The fated segments showunavoidable progress towards the error while the free segments show choices that, if avoided, may have prevented the error. This segmentation raises the questions of whether the fated segment should indeed be inevitable and whether the free segments are critical in causing the error. Addressing these questions may help the user analyze the error better." @default.
- W4255168061 created "2022-05-12" @default.
- W4255168061 creator A5016840701 @default.
- W4255168061 creator A5042304280 @default.
- W4255168061 creator A5077549627 @default.
- W4255168061 date "2002-01-01" @default.
- W4255168061 modified "2023-09-30" @default.
- W4255168061 title "Fate and FreeWill in Error Traces" @default.
- W4255168061 cites W1483744477 @default.
- W4255168061 cites W1489775901 @default.
- W4255168061 cites W1550083490 @default.
- W4255168061 cites W1589840570 @default.
- W4255168061 cites W1590315663 @default.
- W4255168061 cites W2004306067 @default.
- W4255168061 cites W2086440639 @default.
- W4255168061 cites W2090398333 @default.
- W4255168061 cites W2100112273 @default.
- W4255168061 cites W2124110813 @default.
- W4255168061 cites W2170933628 @default.
- W4255168061 doi "https://doi.org/10.1007/3-540-46002-0_31" @default.
- W4255168061 hasPublicationYear "2002" @default.
- W4255168061 type Work @default.
- W4255168061 citedByCount "19" @default.
- W4255168061 countsByYear W42551680612013 @default.
- W4255168061 countsByYear W42551680612018 @default.
- W4255168061 countsByYear W42551680612019 @default.
- W4255168061 countsByYear W42551680612021 @default.
- W4255168061 countsByYear W42551680612022 @default.
- W4255168061 crossrefType "book-chapter" @default.
- W4255168061 hasAuthorship W4255168061A5016840701 @default.
- W4255168061 hasAuthorship W4255168061A5042304280 @default.
- W4255168061 hasAuthorship W4255168061A5077549627 @default.
- W4255168061 hasBestOaLocation W42551680611 @default.
- W4255168061 hasConcept C103088060 @default.
- W4255168061 hasConcept C11413529 @default.
- W4255168061 hasConcept C118615104 @default.
- W4255168061 hasConcept C138885662 @default.
- W4255168061 hasConcept C154945302 @default.
- W4255168061 hasConcept C162838799 @default.
- W4255168061 hasConcept C168065819 @default.
- W4255168061 hasConcept C199360897 @default.
- W4255168061 hasConcept C33923547 @default.
- W4255168061 hasConcept C41008148 @default.
- W4255168061 hasConcept C41895202 @default.
- W4255168061 hasConcept C75291252 @default.
- W4255168061 hasConcept C89600930 @default.
- W4255168061 hasConceptScore W4255168061C103088060 @default.
- W4255168061 hasConceptScore W4255168061C11413529 @default.
- W4255168061 hasConceptScore W4255168061C118615104 @default.
- W4255168061 hasConceptScore W4255168061C138885662 @default.
- W4255168061 hasConceptScore W4255168061C154945302 @default.
- W4255168061 hasConceptScore W4255168061C162838799 @default.
- W4255168061 hasConceptScore W4255168061C168065819 @default.
- W4255168061 hasConceptScore W4255168061C199360897 @default.
- W4255168061 hasConceptScore W4255168061C33923547 @default.
- W4255168061 hasConceptScore W4255168061C41008148 @default.
- W4255168061 hasConceptScore W4255168061C41895202 @default.
- W4255168061 hasConceptScore W4255168061C75291252 @default.
- W4255168061 hasConceptScore W4255168061C89600930 @default.
- W4255168061 hasLocation W42551680611 @default.
- W4255168061 hasOpenAccess W4255168061 @default.
- W4255168061 hasPrimaryLocation W42551680611 @default.
- W4255168061 hasRelatedWork W130652581 @default.
- W4255168061 hasRelatedWork W1483845062 @default.
- W4255168061 hasRelatedWork W1498982577 @default.
- W4255168061 hasRelatedWork W1587224678 @default.
- W4255168061 hasRelatedWork W1601811574 @default.
- W4255168061 hasRelatedWork W2012464402 @default.
- W4255168061 hasRelatedWork W2041807992 @default.
- W4255168061 hasRelatedWork W2115737686 @default.
- W4255168061 hasRelatedWork W2390095984 @default.
- W4255168061 hasRelatedWork W2609291677 @default.
- W4255168061 isParatext "false" @default.
- W4255168061 isRetracted "false" @default.
- W4255168061 workType "book-chapter" @default.