FRINK Linked Data Fragments server

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

• W59171912 abstract "Existing theories of testing focus on verification. Their strategy is to cover a specification or a program text to a certain degree in order to raise the confidence in the correctness of a system under test. We take a different approach in the sense that we present a theory of fault-based testing. Fault-based testing uses test data designed to demonstrate the absence of a set of pre-specified faults. Here, the focus is on falsification. The presented theory of testing is integrated into Hoare & He’s theory of programming. As a result, two new test case generation techniques for detecting anticipated faults are presented: one is based on the semantic level of design specifications, the other on the algebraic properties of a programming language." @default.
• W59171912 created "2016-06-24" @default.
• W59171912 creator A5009450062 @default.
• W59171912 creator A5019942972 @default.
• W59171912 date "2005-01-01" @default.
• W59171912 modified "2023-09-27" @default.
• W59171912 title "Testing for Design Faults" @default.
• W59171912 cites W1511110335 @default.
• W59171912 cites W1511826042 @default.
• W59171912 cites W1515441675 @default.
• W59171912 cites W1519017097 @default.
• W59171912 cites W1524023863 @default.
• W59171912 cites W1527688737 @default.
• W59171912 cites W1547173632 @default.
• W59171912 cites W1559870885 @default.
• W59171912 cites W1567645817 @default.
• W59171912 cites W1574590844 @default.
• W59171912 cites W1592027468 @default.
• W59171912 cites W1602650507 @default.
• W59171912 cites W1787500456 @default.
• W59171912 cites W1828889393 @default.
• W59171912 cites W1910771831 @default.
• W59171912 cites W1970495662 @default.
• W59171912 cites W2029254184 @default.
• W59171912 cites W2034874525 @default.
• W59171912 cites W2049695835 @default.
• W59171912 cites W2051085665 @default.
• W59171912 cites W2074845051 @default.
• W59171912 cites W2108394166 @default.
• W59171912 cites W2108557864 @default.
• W59171912 cites W2111067589 @default.
• W59171912 cites W2123023940 @default.
• W59171912 cites W2124268470 @default.
• W59171912 cites W2125831829 @default.
• W59171912 cites W2151926351 @default.
• W59171912 cites W2157144873 @default.
• W59171912 cites W3144368627 @default.
• W59171912 cites W85284575 @default.
• W59171912 cites W3048761665 @default.
• W59171912 hasPublicationYear "2005" @default.
• W59171912 type Work @default.
• W59171912 sameAs 59171912 @default.
• W59171912 citedByCount "3" @default.
• W59171912 crossrefType "journal-article" @default.
• W59171912 hasAuthorship W59171912A5009450062 @default.
• W59171912 hasAuthorship W59171912A5019942972 @default.
• W59171912 hasConcept C106159264 @default.
• W59171912 hasConcept C119857082 @default.
• W59171912 hasConcept C120665830 @default.
• W59171912 hasConcept C121332964 @default.
• W59171912 hasConcept C127413603 @default.
• W59171912 hasConcept C128942645 @default.
• W59171912 hasConcept C152877465 @default.
• W59171912 hasConcept C177264268 @default.
• W59171912 hasConcept C192209626 @default.
• W59171912 hasConcept C199360897 @default.
• W59171912 hasConcept C2780428219 @default.
• W59171912 hasConcept C41008148 @default.
• W59171912 hasConcept C55439883 @default.
• W59171912 hasConcept C78519656 @default.
• W59171912 hasConcept C80444323 @default.
• W59171912 hasConceptScore W59171912C106159264 @default.
• W59171912 hasConceptScore W59171912C119857082 @default.
• W59171912 hasConceptScore W59171912C120665830 @default.
• W59171912 hasConceptScore W59171912C121332964 @default.
• W59171912 hasConceptScore W59171912C127413603 @default.
• W59171912 hasConceptScore W59171912C128942645 @default.
• W59171912 hasConceptScore W59171912C152877465 @default.
• W59171912 hasConceptScore W59171912C177264268 @default.
• W59171912 hasConceptScore W59171912C192209626 @default.
• W59171912 hasConceptScore W59171912C199360897 @default.
• W59171912 hasConceptScore W59171912C2780428219 @default.
• W59171912 hasConceptScore W59171912C41008148 @default.
• W59171912 hasConceptScore W59171912C55439883 @default.
• W59171912 hasConceptScore W59171912C78519656 @default.
• W59171912 hasConceptScore W59171912C80444323 @default.
• W59171912 hasLocation W591719121 @default.
• W59171912 hasOpenAccess W59171912 @default.
• W59171912 hasPrimaryLocation W591719121 @default.
• W59171912 hasRelatedWork W1647609750 @default.
• W59171912 hasRelatedWork W1710922674 @default.
• W59171912 hasRelatedWork W175408375 @default.
• W59171912 hasRelatedWork W179908295 @default.
• W59171912 hasRelatedWork W1964231982 @default.
• W59171912 hasRelatedWork W2078525501 @default.
• W59171912 hasRelatedWork W2088327537 @default.
• W59171912 hasRelatedWork W2097895505 @default.
• W59171912 hasRelatedWork W2116736314 @default.
• W59171912 hasRelatedWork W2117943440 @default.
• W59171912 hasRelatedWork W2159120852 @default.
• W59171912 hasRelatedWork W2341205195 @default.
• W59171912 hasRelatedWork W238918189 @default.
• W59171912 hasRelatedWork W2520236007 @default.
• W59171912 hasRelatedWork W2998489193 @default.
• W59171912 hasRelatedWork W3013816513 @default.
• W59171912 hasRelatedWork W3033397011 @default.
• W59171912 hasRelatedWork W3162719608 @default.
• W59171912 hasRelatedWork W62415093 @default.
• W59171912 hasRelatedWork W87687620 @default.
• W59171912 isParatext "false" @default.

• next