Matches in SemOpenAlex for { <https://semopenalex.org/work/W2352494983> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2352494983 abstract "According to the requirements of validating higher secure systems,an approach to generate testing cases based on Z formal descriptions was proposed.With this approach,a testing case generator was implemented,which could produce testing cases with MC/DC(modified condition/decision coverage)criterion to balance the quantity and quality of the produced testing cases.Compared with related work,this approach can reduce the manual interferences and the requirements in designing the formal specification,and improve the accuracy and efficiency of testing-case generation." @default.
- W2352494983 created "2016-06-24" @default.
- W2352494983 creator A5030469532 @default.
- W2352494983 date "2008-01-01" @default.
- W2352494983 modified "2023-09-27" @default.
- W2352494983 title "Testing case generator based on formal specifications" @default.
- W2352494983 hasPublicationYear "2008" @default.
- W2352494983 type Work @default.
- W2352494983 sameAs 2352494983 @default.
- W2352494983 citedByCount "0" @default.
- W2352494983 crossrefType "journal-article" @default.
- W2352494983 hasAuthorship W2352494983A5030469532 @default.
- W2352494983 hasConcept C116253237 @default.
- W2352494983 hasConcept C121332964 @default.
- W2352494983 hasConcept C127413603 @default.
- W2352494983 hasConcept C163258240 @default.
- W2352494983 hasConcept C199360897 @default.
- W2352494983 hasConcept C200601418 @default.
- W2352494983 hasConcept C2780992000 @default.
- W2352494983 hasConcept C41008148 @default.
- W2352494983 hasConcept C62520636 @default.
- W2352494983 hasConcept C75606506 @default.
- W2352494983 hasConceptScore W2352494983C116253237 @default.
- W2352494983 hasConceptScore W2352494983C121332964 @default.
- W2352494983 hasConceptScore W2352494983C127413603 @default.
- W2352494983 hasConceptScore W2352494983C163258240 @default.
- W2352494983 hasConceptScore W2352494983C199360897 @default.
- W2352494983 hasConceptScore W2352494983C200601418 @default.
- W2352494983 hasConceptScore W2352494983C2780992000 @default.
- W2352494983 hasConceptScore W2352494983C41008148 @default.
- W2352494983 hasConceptScore W2352494983C62520636 @default.
- W2352494983 hasConceptScore W2352494983C75606506 @default.
- W2352494983 hasLocation W23524949831 @default.
- W2352494983 hasOpenAccess W2352494983 @default.
- W2352494983 hasPrimaryLocation W23524949831 @default.
- W2352494983 hasRelatedWork W131636846 @default.
- W2352494983 hasRelatedWork W175408375 @default.
- W2352494983 hasRelatedWork W179908295 @default.
- W2352494983 hasRelatedWork W1978187713 @default.
- W2352494983 hasRelatedWork W2048953030 @default.
- W2352494983 hasRelatedWork W2079538004 @default.
- W2352494983 hasRelatedWork W2091763147 @default.
- W2352494983 hasRelatedWork W2115317468 @default.
- W2352494983 hasRelatedWork W2186520231 @default.
- W2352494983 hasRelatedWork W2490723238 @default.
- W2352494983 hasRelatedWork W2734970250 @default.
- W2352494983 hasRelatedWork W2808023677 @default.
- W2352494983 hasRelatedWork W2914669202 @default.
- W2352494983 hasRelatedWork W2979459361 @default.
- W2352494983 hasRelatedWork W2995460123 @default.
- W2352494983 hasRelatedWork W3021006199 @default.
- W2352494983 hasRelatedWork W3033397011 @default.
- W2352494983 hasRelatedWork W3176884782 @default.
- W2352494983 hasRelatedWork W62415093 @default.
- W2352494983 hasRelatedWork W981484256 @default.
- W2352494983 isParatext "false" @default.
- W2352494983 isRetracted "false" @default.
- W2352494983 magId "2352494983" @default.
- W2352494983 workType "article" @default.