Matches in SemOpenAlex for { <https://semopenalex.org/work/W3140408247> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W3140408247 abstract "Automated software testing is an important measure to improve software quality and the efficiency of the software development process. We present a model-checker based approach to automated test-case generation applying mutation to behavioral models and requirements specifications. Unlike previous related approaches, the requirements specification is at the center of this process. A property coverage criterion is used to show that resulting test-cases sufficiently exercise all aspects of the specification. A test-suite derived from the specification can only be as good as the specification itself. We demonstrate that analysis of the testcase generation process reveals important details about the specification, such as vacuity and how much of the model it covers, without requiring additional costly computations." @default.
- W3140408247 created "2021-04-13" @default.
- W3140408247 creator A5011388533 @default.
- W3140408247 creator A5065167250 @default.
- W3140408247 date "2006-10-01" @default.
- W3140408247 modified "2023-09-23" @default.
- W3140408247 title "Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis" @default.
- W3140408247 cites W1483676884 @default.
- W3140408247 cites W1491807613 @default.
- W3140408247 cites W1507959092 @default.
- W3140408247 cites W1589840570 @default.
- W3140408247 cites W1896160926 @default.
- W3140408247 cites W2101361140 @default.
- W3140408247 cites W2150240033 @default.
- W3140408247 cites W2165026393 @default.
- W3140408247 cites W2172253171 @default.
- W3140408247 doi "https://doi.org/10.1109/icsea.2006.261272" @default.
- W3140408247 hasPublicationYear "2006" @default.
- W3140408247 type Work @default.
- W3140408247 sameAs 3140408247 @default.
- W3140408247 citedByCount "12" @default.
- W3140408247 countsByYear W31404082472012 @default.
- W3140408247 countsByYear W31404082472013 @default.
- W3140408247 countsByYear W31404082472014 @default.
- W3140408247 countsByYear W31404082472016 @default.
- W3140408247 countsByYear W31404082472018 @default.
- W3140408247 crossrefType "proceedings-article" @default.
- W3140408247 hasAuthorship W3140408247A5011388533 @default.
- W3140408247 hasAuthorship W3140408247A5065167250 @default.
- W3140408247 hasConcept C102780508 @default.
- W3140408247 hasConcept C104317684 @default.
- W3140408247 hasConcept C110251889 @default.
- W3140408247 hasConcept C115903868 @default.
- W3140408247 hasConcept C116253237 @default.
- W3140408247 hasConcept C117222624 @default.
- W3140408247 hasConcept C119857082 @default.
- W3140408247 hasConcept C127413603 @default.
- W3140408247 hasConcept C128942645 @default.
- W3140408247 hasConcept C151552104 @default.
- W3140408247 hasConcept C152877465 @default.
- W3140408247 hasConcept C163565370 @default.
- W3140408247 hasConcept C185592680 @default.
- W3140408247 hasConcept C199360897 @default.
- W3140408247 hasConcept C200601418 @default.
- W3140408247 hasConcept C2777904410 @default.
- W3140408247 hasConcept C41008148 @default.
- W3140408247 hasConcept C501734568 @default.
- W3140408247 hasConcept C52913732 @default.
- W3140408247 hasConcept C529173508 @default.
- W3140408247 hasConcept C53942775 @default.
- W3140408247 hasConcept C55493867 @default.
- W3140408247 hasConcept C84651959 @default.
- W3140408247 hasConceptScore W3140408247C102780508 @default.
- W3140408247 hasConceptScore W3140408247C104317684 @default.
- W3140408247 hasConceptScore W3140408247C110251889 @default.
- W3140408247 hasConceptScore W3140408247C115903868 @default.
- W3140408247 hasConceptScore W3140408247C116253237 @default.
- W3140408247 hasConceptScore W3140408247C117222624 @default.
- W3140408247 hasConceptScore W3140408247C119857082 @default.
- W3140408247 hasConceptScore W3140408247C127413603 @default.
- W3140408247 hasConceptScore W3140408247C128942645 @default.
- W3140408247 hasConceptScore W3140408247C151552104 @default.
- W3140408247 hasConceptScore W3140408247C152877465 @default.
- W3140408247 hasConceptScore W3140408247C163565370 @default.
- W3140408247 hasConceptScore W3140408247C185592680 @default.
- W3140408247 hasConceptScore W3140408247C199360897 @default.
- W3140408247 hasConceptScore W3140408247C200601418 @default.
- W3140408247 hasConceptScore W3140408247C2777904410 @default.
- W3140408247 hasConceptScore W3140408247C41008148 @default.
- W3140408247 hasConceptScore W3140408247C501734568 @default.
- W3140408247 hasConceptScore W3140408247C52913732 @default.
- W3140408247 hasConceptScore W3140408247C529173508 @default.
- W3140408247 hasConceptScore W3140408247C53942775 @default.
- W3140408247 hasConceptScore W3140408247C55493867 @default.
- W3140408247 hasConceptScore W3140408247C84651959 @default.
- W3140408247 hasLocation W31404082471 @default.
- W3140408247 hasOpenAccess W3140408247 @default.
- W3140408247 hasPrimaryLocation W31404082471 @default.
- W3140408247 hasRelatedWork W1910422624 @default.
- W3140408247 hasRelatedWork W2009552790 @default.
- W3140408247 hasRelatedWork W2137223410 @default.
- W3140408247 hasRelatedWork W2138612284 @default.
- W3140408247 hasRelatedWork W2398946505 @default.
- W3140408247 hasRelatedWork W3048422056 @default.
- W3140408247 hasRelatedWork W4200026479 @default.
- W3140408247 hasRelatedWork W4310496958 @default.
- W3140408247 hasRelatedWork W4313447549 @default.
- W3140408247 hasRelatedWork W4327499786 @default.
- W3140408247 isParatext "false" @default.
- W3140408247 isRetracted "false" @default.
- W3140408247 magId "3140408247" @default.
- W3140408247 workType "article" @default.