Matches in SemOpenAlex for { <https://semopenalex.org/work/W2384760520> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2384760520 abstract "The coverage criteria on data-flow test is achieved by applying trap properties and the temporal logic relationship,the problem of test sequence generation is transformed into the one of finding the counter example in model check,and an automatic generation approach of the test sequences calling methods in class is presented.A searching algorithm to generate automatically the test sequences is designed and implemented with the program model checker called Java PathFinder.The algorithm analysis and experimental results show that the presented algorithm can generate efficiently the test sequences and reduce remarkably the test generation cost." @default.
- W2384760520 created "2016-06-24" @default.
- W2384760520 creator A5051080686 @default.
- W2384760520 date "2007-01-01" @default.
- W2384760520 modified "2023-09-24" @default.
- W2384760520 title "Data-flow Test Generation for Classes with Java PathFinder" @default.
- W2384760520 hasPublicationYear "2007" @default.
- W2384760520 type Work @default.
- W2384760520 sameAs 2384760520 @default.
- W2384760520 citedByCount "0" @default.
- W2384760520 crossrefType "journal-article" @default.
- W2384760520 hasAuthorship W2384760520A5051080686 @default.
- W2384760520 hasConcept C11413529 @default.
- W2384760520 hasConcept C119857082 @default.
- W2384760520 hasConcept C128942645 @default.
- W2384760520 hasConcept C151552104 @default.
- W2384760520 hasConcept C151730666 @default.
- W2384760520 hasConcept C152877465 @default.
- W2384760520 hasConcept C154945302 @default.
- W2384760520 hasConcept C161191863 @default.
- W2384760520 hasConcept C16910744 @default.
- W2384760520 hasConcept C199360897 @default.
- W2384760520 hasConcept C2777212361 @default.
- W2384760520 hasConcept C2777267654 @default.
- W2384760520 hasConcept C2778112365 @default.
- W2384760520 hasConcept C2778940482 @default.
- W2384760520 hasConcept C41008148 @default.
- W2384760520 hasConcept C489000 @default.
- W2384760520 hasConcept C54355233 @default.
- W2384760520 hasConcept C548217200 @default.
- W2384760520 hasConcept C77088390 @default.
- W2384760520 hasConcept C86803240 @default.
- W2384760520 hasConceptScore W2384760520C11413529 @default.
- W2384760520 hasConceptScore W2384760520C119857082 @default.
- W2384760520 hasConceptScore W2384760520C128942645 @default.
- W2384760520 hasConceptScore W2384760520C151552104 @default.
- W2384760520 hasConceptScore W2384760520C151730666 @default.
- W2384760520 hasConceptScore W2384760520C152877465 @default.
- W2384760520 hasConceptScore W2384760520C154945302 @default.
- W2384760520 hasConceptScore W2384760520C161191863 @default.
- W2384760520 hasConceptScore W2384760520C16910744 @default.
- W2384760520 hasConceptScore W2384760520C199360897 @default.
- W2384760520 hasConceptScore W2384760520C2777212361 @default.
- W2384760520 hasConceptScore W2384760520C2777267654 @default.
- W2384760520 hasConceptScore W2384760520C2778112365 @default.
- W2384760520 hasConceptScore W2384760520C2778940482 @default.
- W2384760520 hasConceptScore W2384760520C41008148 @default.
- W2384760520 hasConceptScore W2384760520C489000 @default.
- W2384760520 hasConceptScore W2384760520C54355233 @default.
- W2384760520 hasConceptScore W2384760520C548217200 @default.
- W2384760520 hasConceptScore W2384760520C77088390 @default.
- W2384760520 hasConceptScore W2384760520C86803240 @default.
- W2384760520 hasLocation W23847605201 @default.
- W2384760520 hasOpenAccess W2384760520 @default.
- W2384760520 hasPrimaryLocation W23847605201 @default.
- W2384760520 hasRelatedWork W1700099127 @default.
- W2384760520 hasRelatedWork W2005274700 @default.
- W2384760520 hasRelatedWork W2025267532 @default.
- W2384760520 hasRelatedWork W2199918518 @default.
- W2384760520 hasRelatedWork W2284091336 @default.
- W2384760520 hasRelatedWork W2327722187 @default.
- W2384760520 hasRelatedWork W2357026264 @default.
- W2384760520 hasRelatedWork W2364179924 @default.
- W2384760520 hasRelatedWork W2371411439 @default.
- W2384760520 hasRelatedWork W2375826289 @default.
- W2384760520 hasRelatedWork W2498593381 @default.
- W2384760520 hasRelatedWork W2588045990 @default.
- W2384760520 hasRelatedWork W2657819372 @default.
- W2384760520 hasRelatedWork W2754745027 @default.
- W2384760520 hasRelatedWork W3005869911 @default.
- W2384760520 hasRelatedWork W2795711171 @default.
- W2384760520 hasRelatedWork W2827957601 @default.
- W2384760520 hasRelatedWork W2862324038 @default.
- W2384760520 hasRelatedWork W3019188000 @default.
- W2384760520 hasRelatedWork W813509173 @default.
- W2384760520 isParatext "false" @default.
- W2384760520 isRetracted "false" @default.
- W2384760520 magId "2384760520" @default.
- W2384760520 workType "article" @default.