Matches in SemOpenAlex for { <https://semopenalex.org/work/W2365536079> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2365536079 abstract "A technical method of generating test cases is studied in this paper with the mechanism of generating counterexample of model checking,considering the operators of temporal logics,according to the fact that the witnesses of existential path quantifier formulas are the counterexamples of universal path quantifier formulas.The algorithm of model checking is introduced in the field of software test in order to find out the verified path and produce test cases on which system could be test based.And an example is given to show the process of generating test cases in detail." @default.
- W2365536079 created "2016-06-24" @default.
- W2365536079 creator A5020139977 @default.
- W2365536079 date "2008-01-01" @default.
- W2365536079 modified "2023-09-25" @default.
- W2365536079 title "Model Checking Application in the Test Case Generation" @default.
- W2365536079 hasPublicationYear "2008" @default.
- W2365536079 type Work @default.
- W2365536079 sameAs 2365536079 @default.
- W2365536079 citedByCount "0" @default.
- W2365536079 crossrefType "journal-article" @default.
- W2365536079 hasAuthorship W2365536079A5020139977 @default.
- W2365536079 hasConcept C105795698 @default.
- W2365536079 hasConcept C110251889 @default.
- W2365536079 hasConcept C11413529 @default.
- W2365536079 hasConcept C118615104 @default.
- W2365536079 hasConcept C128942645 @default.
- W2365536079 hasConcept C151730666 @default.
- W2365536079 hasConcept C152877465 @default.
- W2365536079 hasConcept C154945302 @default.
- W2365536079 hasConcept C162838799 @default.
- W2365536079 hasConcept C199360897 @default.
- W2365536079 hasConcept C2777267654 @default.
- W2365536079 hasConcept C2777735758 @default.
- W2365536079 hasConcept C2778523021 @default.
- W2365536079 hasConcept C33923547 @default.
- W2365536079 hasConcept C41008148 @default.
- W2365536079 hasConcept C86803240 @default.
- W2365536079 hasConcept C98045186 @default.
- W2365536079 hasConceptScore W2365536079C105795698 @default.
- W2365536079 hasConceptScore W2365536079C110251889 @default.
- W2365536079 hasConceptScore W2365536079C11413529 @default.
- W2365536079 hasConceptScore W2365536079C118615104 @default.
- W2365536079 hasConceptScore W2365536079C128942645 @default.
- W2365536079 hasConceptScore W2365536079C151730666 @default.
- W2365536079 hasConceptScore W2365536079C152877465 @default.
- W2365536079 hasConceptScore W2365536079C154945302 @default.
- W2365536079 hasConceptScore W2365536079C162838799 @default.
- W2365536079 hasConceptScore W2365536079C199360897 @default.
- W2365536079 hasConceptScore W2365536079C2777267654 @default.
- W2365536079 hasConceptScore W2365536079C2777735758 @default.
- W2365536079 hasConceptScore W2365536079C2778523021 @default.
- W2365536079 hasConceptScore W2365536079C33923547 @default.
- W2365536079 hasConceptScore W2365536079C41008148 @default.
- W2365536079 hasConceptScore W2365536079C86803240 @default.
- W2365536079 hasConceptScore W2365536079C98045186 @default.
- W2365536079 hasLocation W23655360791 @default.
- W2365536079 hasOpenAccess W2365536079 @default.
- W2365536079 hasPrimaryLocation W23655360791 @default.
- W2365536079 hasRelatedWork W1019226412 @default.
- W2365536079 hasRelatedWork W1537702386 @default.
- W2365536079 hasRelatedWork W1543184178 @default.
- W2365536079 hasRelatedWork W1665907676 @default.
- W2365536079 hasRelatedWork W2001641239 @default.
- W2365536079 hasRelatedWork W2012841134 @default.
- W2365536079 hasRelatedWork W2022117652 @default.
- W2365536079 hasRelatedWork W2097402986 @default.
- W2365536079 hasRelatedWork W2108443473 @default.
- W2365536079 hasRelatedWork W2117120663 @default.
- W2365536079 hasRelatedWork W2168585520 @default.
- W2365536079 hasRelatedWork W2464096065 @default.
- W2365536079 hasRelatedWork W2485562425 @default.
- W2365536079 hasRelatedWork W2887668474 @default.
- W2365536079 hasRelatedWork W2982399005 @default.
- W2365536079 hasRelatedWork W3122573064 @default.
- W2365536079 hasRelatedWork W3198828497 @default.
- W2365536079 hasRelatedWork W2116514970 @default.
- W2365536079 hasRelatedWork W2468979936 @default.
- W2365536079 isParatext "false" @default.
- W2365536079 isRetracted "false" @default.
- W2365536079 magId "2365536079" @default.
- W2365536079 workType "article" @default.