Matches in SemOpenAlex for { <https://semopenalex.org/work/W3175013121> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W3175013121 abstract "Design-by-contract is a light-weight formal development paradigm, in which object-oriented software is specified with so-called software contracts. Contracts are annotations in the source code that explicitly document intended functional behavior and can be used for verifying correctness of a particular implementation or as test oracles during automatic test case generation. As writing strong specifications is an expensive and error-prone activity due to lack of expertise and tool support, developers are often only willing to write simpler specifications, covering only a fraction of all functional properties. As a consequence, software quality is lowered, or even worse, potential bugs remain undetected during software verification. To give developers a sense of specification coverage, we propose a methodology that considers the degree of incomplete specifications by means of mutation analysis. We consider Java programs annotated with JML and employ the deductive program verifier KEY-2.6.3 to show that this approach is applicable to numerous open-source JML projects from the literature." @default.
- W3175013121 created "2021-07-05" @default.
- W3175013121 creator A5020532424 @default.
- W3175013121 creator A5065261670 @default.
- W3175013121 creator A5067234465 @default.
- W3175013121 date "2021-05-01" @default.
- W3175013121 modified "2023-09-24" @default.
- W3175013121 title "How much Specification is Enough? Mutation Analysis for Software Contracts" @default.
- W3175013121 cites W1485652387 @default.
- W3175013121 cites W1567503821 @default.
- W3175013121 cites W1816782878 @default.
- W3175013121 cites W1995008247 @default.
- W3175013121 cites W2004222258 @default.
- W3175013121 cites W2045090661 @default.
- W3175013121 cites W2049695835 @default.
- W3175013121 cites W2052363833 @default.
- W3175013121 cites W2095907349 @default.
- W3175013121 cites W2106013472 @default.
- W3175013121 cites W2110908283 @default.
- W3175013121 cites W2114178685 @default.
- W3175013121 cites W2117548394 @default.
- W3175013121 cites W2129248173 @default.
- W3175013121 cites W2135841285 @default.
- W3175013121 cites W2142557127 @default.
- W3175013121 cites W2145071982 @default.
- W3175013121 cites W2145733341 @default.
- W3175013121 cites W2146177878 @default.
- W3175013121 cites W2725449579 @default.
- W3175013121 cites W2870640023 @default.
- W3175013121 cites W2888021447 @default.
- W3175013121 cites W2978995391 @default.
- W3175013121 cites W2998975145 @default.
- W3175013121 cites W3122462445 @default.
- W3175013121 cites W4206365978 @default.
- W3175013121 doi "https://doi.org/10.1109/formalise52586.2021.00011" @default.
- W3175013121 hasPublicationYear "2021" @default.
- W3175013121 type Work @default.
- W3175013121 sameAs 3175013121 @default.
- W3175013121 citedByCount "2" @default.
- W3175013121 countsByYear W31750131212022 @default.
- W3175013121 countsByYear W31750131212023 @default.
- W3175013121 crossrefType "proceedings-article" @default.
- W3175013121 hasAuthorship W3175013121A5020532424 @default.
- W3175013121 hasAuthorship W3175013121A5065261670 @default.
- W3175013121 hasAuthorship W3175013121A5067234465 @default.
- W3175013121 hasConcept C115903868 @default.
- W3175013121 hasConcept C116253237 @default.
- W3175013121 hasConcept C117447612 @default.
- W3175013121 hasConcept C119857082 @default.
- W3175013121 hasConcept C128942645 @default.
- W3175013121 hasConcept C152877465 @default.
- W3175013121 hasConcept C186846655 @default.
- W3175013121 hasConcept C199360897 @default.
- W3175013121 hasConcept C2777904410 @default.
- W3175013121 hasConcept C41008148 @default.
- W3175013121 hasConcept C43126263 @default.
- W3175013121 hasConcept C529173508 @default.
- W3175013121 hasConcept C548217200 @default.
- W3175013121 hasConcept C55439883 @default.
- W3175013121 hasConcept C80291951 @default.
- W3175013121 hasConceptScore W3175013121C115903868 @default.
- W3175013121 hasConceptScore W3175013121C116253237 @default.
- W3175013121 hasConceptScore W3175013121C117447612 @default.
- W3175013121 hasConceptScore W3175013121C119857082 @default.
- W3175013121 hasConceptScore W3175013121C128942645 @default.
- W3175013121 hasConceptScore W3175013121C152877465 @default.
- W3175013121 hasConceptScore W3175013121C186846655 @default.
- W3175013121 hasConceptScore W3175013121C199360897 @default.
- W3175013121 hasConceptScore W3175013121C2777904410 @default.
- W3175013121 hasConceptScore W3175013121C41008148 @default.
- W3175013121 hasConceptScore W3175013121C43126263 @default.
- W3175013121 hasConceptScore W3175013121C529173508 @default.
- W3175013121 hasConceptScore W3175013121C548217200 @default.
- W3175013121 hasConceptScore W3175013121C55439883 @default.
- W3175013121 hasConceptScore W3175013121C80291951 @default.
- W3175013121 hasLocation W31750131211 @default.
- W3175013121 hasOpenAccess W3175013121 @default.
- W3175013121 hasPrimaryLocation W31750131211 @default.
- W3175013121 hasRelatedWork W1579685561 @default.
- W3175013121 hasRelatedWork W1911633385 @default.
- W3175013121 hasRelatedWork W19752705 @default.
- W3175013121 hasRelatedWork W1980224781 @default.
- W3175013121 hasRelatedWork W2020144937 @default.
- W3175013121 hasRelatedWork W2099724188 @default.
- W3175013121 hasRelatedWork W2162441576 @default.
- W3175013121 hasRelatedWork W2189098383 @default.
- W3175013121 hasRelatedWork W2587986437 @default.
- W3175013121 hasRelatedWork W3196568648 @default.
- W3175013121 isParatext "false" @default.
- W3175013121 isRetracted "false" @default.
- W3175013121 magId "3175013121" @default.
- W3175013121 workType "article" @default.