Matches in SemOpenAlex for { <https://semopenalex.org/work/W64099252> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W64099252 endingPage "386" @default.
- W64099252 startingPage "381" @default.
- W64099252 abstract "Abstract: Test-case generation with model-checkers is a promising field of researchin software testing. Model-checker based approaches offer many advantages: Theyare fully automated, they are flexible due to different concrete techniques, and undercertain conditions they are also efficient. There are still many issues that need to beresolved in order to achieve widespread acceptance in the industry. Because model-checkers were not originally designed with test-case generation in mind, a large per-centage of the test-cases produced are duplicates. Many of the remaining test-casesshare identical prefixes that do not contribute to the overall fault sensitivity of a test-suite. Some test criteria also result in large test-suites of rather short test-cases. Inthis paper, we address these problems and suggest to create test-cases incrementallyinstead of separately for each test requirement. For this, heuristics based on an es-timated distance between a state and a temporal logic formula are presented, whichallows to chose which test-case to extend with regard to which test requirement." @default.
- W64099252 created "2016-06-24" @default.
- W64099252 creator A5011388533 @default.
- W64099252 creator A5079261847 @default.
- W64099252 date "2007-01-01" @default.
- W64099252 modified "2023-09-26" @default.
- W64099252 title "Creating Test-Cases Incrementally with Model-Checkers" @default.
- W64099252 cites W1483676884 @default.
- W64099252 cites W1896160926 @default.
- W64099252 cites W2005176430 @default.
- W64099252 cites W2023808162 @default.
- W64099252 cites W2055647675 @default.
- W64099252 cites W2136199343 @default.
- W64099252 cites W2152560605 @default.
- W64099252 cites W2156176134 @default.
- W64099252 cites W2172253171 @default.
- W64099252 cites W38672227 @default.
- W64099252 hasPublicationYear "2007" @default.
- W64099252 type Work @default.
- W64099252 sameAs 64099252 @default.
- W64099252 citedByCount "4" @default.
- W64099252 countsByYear W640992522013 @default.
- W64099252 countsByYear W640992522015 @default.
- W64099252 crossrefType "journal-article" @default.
- W64099252 hasAuthorship W64099252A5011388533 @default.
- W64099252 hasAuthorship W64099252A5079261847 @default.
- W64099252 hasConcept C111919701 @default.
- W64099252 hasConcept C119599485 @default.
- W64099252 hasConcept C119857082 @default.
- W64099252 hasConcept C127413603 @default.
- W64099252 hasConcept C127705205 @default.
- W64099252 hasConcept C128942645 @default.
- W64099252 hasConcept C134146338 @default.
- W64099252 hasConcept C151552104 @default.
- W64099252 hasConcept C151730666 @default.
- W64099252 hasConcept C152877465 @default.
- W64099252 hasConcept C165825675 @default.
- W64099252 hasConcept C17626397 @default.
- W64099252 hasConcept C186846655 @default.
- W64099252 hasConcept C199360897 @default.
- W64099252 hasConcept C200601418 @default.
- W64099252 hasConcept C2777267654 @default.
- W64099252 hasConcept C2777904410 @default.
- W64099252 hasConcept C41008148 @default.
- W64099252 hasConcept C529173508 @default.
- W64099252 hasConcept C53942775 @default.
- W64099252 hasConcept C7435765 @default.
- W64099252 hasConcept C86803240 @default.
- W64099252 hasConceptScore W64099252C111919701 @default.
- W64099252 hasConceptScore W64099252C119599485 @default.
- W64099252 hasConceptScore W64099252C119857082 @default.
- W64099252 hasConceptScore W64099252C127413603 @default.
- W64099252 hasConceptScore W64099252C127705205 @default.
- W64099252 hasConceptScore W64099252C128942645 @default.
- W64099252 hasConceptScore W64099252C134146338 @default.
- W64099252 hasConceptScore W64099252C151552104 @default.
- W64099252 hasConceptScore W64099252C151730666 @default.
- W64099252 hasConceptScore W64099252C152877465 @default.
- W64099252 hasConceptScore W64099252C165825675 @default.
- W64099252 hasConceptScore W64099252C17626397 @default.
- W64099252 hasConceptScore W64099252C186846655 @default.
- W64099252 hasConceptScore W64099252C199360897 @default.
- W64099252 hasConceptScore W64099252C200601418 @default.
- W64099252 hasConceptScore W64099252C2777267654 @default.
- W64099252 hasConceptScore W64099252C2777904410 @default.
- W64099252 hasConceptScore W64099252C41008148 @default.
- W64099252 hasConceptScore W64099252C529173508 @default.
- W64099252 hasConceptScore W64099252C53942775 @default.
- W64099252 hasConceptScore W64099252C7435765 @default.
- W64099252 hasConceptScore W64099252C86803240 @default.
- W64099252 hasLocation W640992521 @default.
- W64099252 hasOpenAccess W64099252 @default.
- W64099252 hasPrimaryLocation W640992521 @default.
- W64099252 hasRelatedWork W1972563171 @default.
- W64099252 hasRelatedWork W2052800086 @default.
- W64099252 hasRelatedWork W2077466115 @default.
- W64099252 hasRelatedWork W2106436545 @default.
- W64099252 hasRelatedWork W2129485204 @default.
- W64099252 hasRelatedWork W2165830857 @default.
- W64099252 hasRelatedWork W2183160655 @default.
- W64099252 hasRelatedWork W2185733113 @default.
- W64099252 hasRelatedWork W2316329057 @default.
- W64099252 hasRelatedWork W2328901593 @default.
- W64099252 hasRelatedWork W2401904844 @default.
- W64099252 hasRelatedWork W2515462146 @default.
- W64099252 hasRelatedWork W2928427891 @default.
- W64099252 hasRelatedWork W2974354017 @default.
- W64099252 hasRelatedWork W3206613187 @default.
- W64099252 hasRelatedWork W604909895 @default.
- W64099252 hasRelatedWork W2185321823 @default.
- W64099252 hasRelatedWork W2186412629 @default.
- W64099252 hasRelatedWork W2586472418 @default.
- W64099252 hasRelatedWork W2740825507 @default.
- W64099252 isParatext "false" @default.
- W64099252 isRetracted "false" @default.
- W64099252 magId "64099252" @default.
- W64099252 workType "article" @default.