Matches in SemOpenAlex for { <https://semopenalex.org/work/W2143155162> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2143155162 endingPage "207" @default.
- W2143155162 startingPage "191" @default.
- W2143155162 abstract "A fault is an attribute of a program that precludes it from satisfying its specification; while this definition may sound clear-cut, it leaves many details unspecified. An incorrect program may be corrected in many different ways, involving different numbers of modifications. Hence neither the location nor the number of of faults may be defined in a unique manner; this, in turn, sheds a cloud of uncertainty on such concepts as fault density, and fault forecasting. In this paper, we present a more precise definition of a program fault, that has the following properties: it recognizes that the same incorrect behavior may be remedied in more than one way; it recognizes that removing a fault does not necessarily make the program correct, but may make it less incorrect (in a sense to be defined); it characterizes fault removals that make the program less incorrect, as opposed to fault removals that may remedy one aspect of program behavior at the expense of others; it recognizes that isolating a fault in a program is based on implicit assumptions about the remaining program parts; it identifies instances when a fault may be localized in a program with absolute certainty." @default.
- W2143155162 created "2016-06-24" @default.
- W2143155162 creator A5014620418 @default.
- W2143155162 creator A5020214722 @default.
- W2143155162 creator A5035707440 @default.
- W2143155162 date "2014-01-01" @default.
- W2143155162 modified "2023-10-08" @default.
- W2143155162 title "On Faults and Faulty Programs" @default.
- W2143155162 cites W1494570513 @default.
- W2143155162 cites W1553534714 @default.
- W2143155162 cites W2039689198 @default.
- W2143155162 cites W2054864002 @default.
- W2143155162 cites W2059487638 @default.
- W2143155162 cites W2061227290 @default.
- W2143155162 cites W2074592031 @default.
- W2143155162 cites W2145071552 @default.
- W2143155162 cites W2151497118 @default.
- W2143155162 cites W4240558819 @default.
- W2143155162 cites W96584681 @default.
- W2143155162 doi "https://doi.org/10.1007/978-3-319-06251-8_12" @default.
- W2143155162 hasPublicationYear "2014" @default.
- W2143155162 type Work @default.
- W2143155162 sameAs 2143155162 @default.
- W2143155162 citedByCount "17" @default.
- W2143155162 countsByYear W21431551622015 @default.
- W2143155162 countsByYear W21431551622016 @default.
- W2143155162 countsByYear W21431551622017 @default.
- W2143155162 countsByYear W21431551622019 @default.
- W2143155162 countsByYear W21431551622020 @default.
- W2143155162 countsByYear W21431551622021 @default.
- W2143155162 countsByYear W21431551622022 @default.
- W2143155162 countsByYear W21431551622023 @default.
- W2143155162 crossrefType "book-chapter" @default.
- W2143155162 hasAuthorship W2143155162A5014620418 @default.
- W2143155162 hasAuthorship W2143155162A5020214722 @default.
- W2143155162 hasAuthorship W2143155162A5035707440 @default.
- W2143155162 hasConcept C119599485 @default.
- W2143155162 hasConcept C127313418 @default.
- W2143155162 hasConcept C127413603 @default.
- W2143155162 hasConcept C134146338 @default.
- W2143155162 hasConcept C165205528 @default.
- W2143155162 hasConcept C167391956 @default.
- W2143155162 hasConcept C175551986 @default.
- W2143155162 hasConcept C2524010 @default.
- W2143155162 hasConcept C33923547 @default.
- W2143155162 hasConcept C41008148 @default.
- W2143155162 hasConcept C7493553 @default.
- W2143155162 hasConceptScore W2143155162C119599485 @default.
- W2143155162 hasConceptScore W2143155162C127313418 @default.
- W2143155162 hasConceptScore W2143155162C127413603 @default.
- W2143155162 hasConceptScore W2143155162C134146338 @default.
- W2143155162 hasConceptScore W2143155162C165205528 @default.
- W2143155162 hasConceptScore W2143155162C167391956 @default.
- W2143155162 hasConceptScore W2143155162C175551986 @default.
- W2143155162 hasConceptScore W2143155162C2524010 @default.
- W2143155162 hasConceptScore W2143155162C33923547 @default.
- W2143155162 hasConceptScore W2143155162C41008148 @default.
- W2143155162 hasConceptScore W2143155162C7493553 @default.
- W2143155162 hasLocation W21431551621 @default.
- W2143155162 hasOpenAccess W2143155162 @default.
- W2143155162 hasPrimaryLocation W21431551621 @default.
- W2143155162 hasRelatedWork W1974134203 @default.
- W2143155162 hasRelatedWork W2051500795 @default.
- W2143155162 hasRelatedWork W2054112973 @default.
- W2143155162 hasRelatedWork W2091334132 @default.
- W2143155162 hasRelatedWork W2143155162 @default.
- W2143155162 hasRelatedWork W2160179184 @default.
- W2143155162 hasRelatedWork W2166897423 @default.
- W2143155162 hasRelatedWork W2328395027 @default.
- W2143155162 hasRelatedWork W2612099265 @default.
- W2143155162 hasRelatedWork W2773200481 @default.
- W2143155162 isParatext "false" @default.
- W2143155162 isRetracted "false" @default.
- W2143155162 magId "2143155162" @default.
- W2143155162 workType "book-chapter" @default.