Matches in SemOpenAlex for { <https://semopenalex.org/work/W2351452007> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2351452007 abstract "Automated testing based on model checking has gained a great popularity in the field of software testing.Consequently,the optimization during the process of test case generation has also drawn a big attention.This paper introduces an efficient method based on node weight to calculate the property coverage value.It sorts the property purposes before test case generation to obtain the maximum reduction to avoid calling redundant executives of modelchecker and generating scaled test suite." @default.
- W2351452007 created "2016-06-24" @default.
- W2351452007 creator A5002818077 @default.
- W2351452007 date "2012-01-01" @default.
- W2351452007 modified "2023-09-24" @default.
- W2351452007 title "Reduction of test set generation using model-checking" @default.
- W2351452007 hasPublicationYear "2012" @default.
- W2351452007 type Work @default.
- W2351452007 sameAs 2351452007 @default.
- W2351452007 citedByCount "0" @default.
- W2351452007 crossrefType "journal-article" @default.
- W2351452007 hasAuthorship W2351452007A5002818077 @default.
- W2351452007 hasConcept C110251889 @default.
- W2351452007 hasConcept C111335779 @default.
- W2351452007 hasConcept C111472728 @default.
- W2351452007 hasConcept C11413529 @default.
- W2351452007 hasConcept C119857082 @default.
- W2351452007 hasConcept C127413603 @default.
- W2351452007 hasConcept C128942645 @default.
- W2351452007 hasConcept C138885662 @default.
- W2351452007 hasConcept C151552104 @default.
- W2351452007 hasConcept C152877465 @default.
- W2351452007 hasConcept C165825675 @default.
- W2351452007 hasConcept C177264268 @default.
- W2351452007 hasConcept C189950617 @default.
- W2351452007 hasConcept C199360897 @default.
- W2351452007 hasConcept C202444582 @default.
- W2351452007 hasConcept C2524010 @default.
- W2351452007 hasConcept C2777904410 @default.
- W2351452007 hasConcept C33923547 @default.
- W2351452007 hasConcept C41008148 @default.
- W2351452007 hasConcept C53942775 @default.
- W2351452007 hasConcept C62611344 @default.
- W2351452007 hasConcept C66938386 @default.
- W2351452007 hasConcept C9652623 @default.
- W2351452007 hasConcept C98045186 @default.
- W2351452007 hasConceptScore W2351452007C110251889 @default.
- W2351452007 hasConceptScore W2351452007C111335779 @default.
- W2351452007 hasConceptScore W2351452007C111472728 @default.
- W2351452007 hasConceptScore W2351452007C11413529 @default.
- W2351452007 hasConceptScore W2351452007C119857082 @default.
- W2351452007 hasConceptScore W2351452007C127413603 @default.
- W2351452007 hasConceptScore W2351452007C128942645 @default.
- W2351452007 hasConceptScore W2351452007C138885662 @default.
- W2351452007 hasConceptScore W2351452007C151552104 @default.
- W2351452007 hasConceptScore W2351452007C152877465 @default.
- W2351452007 hasConceptScore W2351452007C165825675 @default.
- W2351452007 hasConceptScore W2351452007C177264268 @default.
- W2351452007 hasConceptScore W2351452007C189950617 @default.
- W2351452007 hasConceptScore W2351452007C199360897 @default.
- W2351452007 hasConceptScore W2351452007C202444582 @default.
- W2351452007 hasConceptScore W2351452007C2524010 @default.
- W2351452007 hasConceptScore W2351452007C2777904410 @default.
- W2351452007 hasConceptScore W2351452007C33923547 @default.
- W2351452007 hasConceptScore W2351452007C41008148 @default.
- W2351452007 hasConceptScore W2351452007C53942775 @default.
- W2351452007 hasConceptScore W2351452007C62611344 @default.
- W2351452007 hasConceptScore W2351452007C66938386 @default.
- W2351452007 hasConceptScore W2351452007C9652623 @default.
- W2351452007 hasConceptScore W2351452007C98045186 @default.
- W2351452007 hasLocation W23514520071 @default.
- W2351452007 hasOpenAccess W2351452007 @default.
- W2351452007 hasPrimaryLocation W23514520071 @default.
- W2351452007 hasRelatedWork W1568662665 @default.
- W2351452007 hasRelatedWork W2008370133 @default.
- W2351452007 hasRelatedWork W2074724531 @default.
- W2351452007 hasRelatedWork W2079626666 @default.
- W2351452007 hasRelatedWork W2090167207 @default.
- W2351452007 hasRelatedWork W2103072691 @default.
- W2351452007 hasRelatedWork W2122791983 @default.
- W2351452007 hasRelatedWork W2171302677 @default.
- W2351452007 hasRelatedWork W2284091336 @default.
- W2351452007 hasRelatedWork W2327722187 @default.
- W2351452007 hasRelatedWork W2367632954 @default.
- W2351452007 hasRelatedWork W2375826289 @default.
- W2351452007 hasRelatedWork W2393847167 @default.
- W2351452007 hasRelatedWork W2492026488 @default.
- W2351452007 hasRelatedWork W2626200204 @default.
- W2351452007 hasRelatedWork W2754745027 @default.
- W2351452007 hasRelatedWork W2794522096 @default.
- W2351452007 hasRelatedWork W3024844001 @default.
- W2351452007 hasRelatedWork W3090950486 @default.
- W2351452007 hasRelatedWork W2814625414 @default.
- W2351452007 isParatext "false" @default.
- W2351452007 isRetracted "false" @default.
- W2351452007 magId "2351452007" @default.
- W2351452007 workType "article" @default.