Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000538962> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2000538962 endingPage "594" @default.
- W2000538962 startingPage "591" @default.
- W2000538962 abstract "In the process of trying to define what is a software fault, we have found that to formally define software faults we need to introduce the concept of relative correctness, i.e. the property of a program to be more-correct than another with respect to a given specification. A feature of a program is a fault (for a given specification) only because there exists an alternative to it that would make the program more-correct with respect to the specification. In this paper, we explore applications of the concept of relative correctness in program testing, program repair, and program design. Specifically, we argue that in many situations of software testing, fault removal and program repair, testing for relative correctness rather than absolute correctness leads to clearer conclusions and better outcomes. Also, we find that designing programs by stepwise correctness-enhancing transformations rather than by stepwise correctness-preserving refinements leads to simpler programs and is more tolerant of designer mistakes." @default.
- W2000538962 created "2016-06-24" @default.
- W2000538962 creator A5013516157 @default.
- W2000538962 creator A5038251001 @default.
- W2000538962 creator A5079227625 @default.
- W2000538962 date "2015-05-16" @default.
- W2000538962 modified "2023-09-26" @default.
- W2000538962 title "Correctness and relative correctness" @default.
- W2000538962 cites W1553534714 @default.
- W2000538962 cites W1979866694 @default.
- W2000538962 cites W2016027000 @default.
- W2000538962 cites W2076719273 @default.
- W2000538962 cites W2104107939 @default.
- W2000538962 cites W2104220745 @default.
- W2000538962 cites W2138224468 @default.
- W2000538962 cites W2143155162 @default.
- W2000538962 cites W2145071552 @default.
- W2000538962 cites W2147130904 @default.
- W2000538962 cites W2151497118 @default.
- W2000538962 cites W2962708851 @default.
- W2000538962 cites W3023843306 @default.
- W2000538962 doi "https://doi.org/10.5555/2819009.2819111" @default.
- W2000538962 hasPublicationYear "2015" @default.
- W2000538962 type Work @default.
- W2000538962 sameAs 2000538962 @default.
- W2000538962 citedByCount "6" @default.
- W2000538962 countsByYear W20005389622016 @default.
- W2000538962 countsByYear W20005389622017 @default.
- W2000538962 crossrefType "proceedings-article" @default.
- W2000538962 hasAuthorship W2000538962A5013516157 @default.
- W2000538962 hasAuthorship W2000538962A5038251001 @default.
- W2000538962 hasAuthorship W2000538962A5079227625 @default.
- W2000538962 hasConcept C127413603 @default.
- W2000538962 hasConcept C199360897 @default.
- W2000538962 hasConcept C200601418 @default.
- W2000538962 hasConcept C2777904410 @default.
- W2000538962 hasConcept C41008148 @default.
- W2000538962 hasConcept C55439883 @default.
- W2000538962 hasConcept C98045186 @default.
- W2000538962 hasConceptScore W2000538962C127413603 @default.
- W2000538962 hasConceptScore W2000538962C199360897 @default.
- W2000538962 hasConceptScore W2000538962C200601418 @default.
- W2000538962 hasConceptScore W2000538962C2777904410 @default.
- W2000538962 hasConceptScore W2000538962C41008148 @default.
- W2000538962 hasConceptScore W2000538962C55439883 @default.
- W2000538962 hasConceptScore W2000538962C98045186 @default.
- W2000538962 hasLocation W20005389621 @default.
- W2000538962 hasOpenAccess W2000538962 @default.
- W2000538962 hasPrimaryLocation W20005389621 @default.
- W2000538962 hasRelatedWork W1480856612 @default.
- W2000538962 hasRelatedWork W1491452014 @default.
- W2000538962 hasRelatedWork W1531589197 @default.
- W2000538962 hasRelatedWork W1698177226 @default.
- W2000538962 hasRelatedWork W1987640817 @default.
- W2000538962 hasRelatedWork W2016027000 @default.
- W2000538962 hasRelatedWork W2081945419 @default.
- W2000538962 hasRelatedWork W2096536569 @default.
- W2000538962 hasRelatedWork W2110726763 @default.
- W2000538962 hasRelatedWork W2114822090 @default.
- W2000538962 hasRelatedWork W2116851114 @default.
- W2000538962 hasRelatedWork W2128808025 @default.
- W2000538962 hasRelatedWork W2143155162 @default.
- W2000538962 hasRelatedWork W2147543351 @default.
- W2000538962 hasRelatedWork W2155585632 @default.
- W2000538962 hasRelatedWork W2158699648 @default.
- W2000538962 hasRelatedWork W2528588965 @default.
- W2000538962 hasRelatedWork W3275244 @default.
- W2000538962 hasRelatedWork W822311377 @default.
- W2000538962 hasRelatedWork W2100676127 @default.
- W2000538962 hasVolume "2" @default.
- W2000538962 isParatext "false" @default.
- W2000538962 isRetracted "false" @default.
- W2000538962 magId "2000538962" @default.
- W2000538962 workType "article" @default.