Matches in SemOpenAlex for { <https://semopenalex.org/work/W2390353949> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2390353949 abstract "Safety-critical systems must satisfy given safety properties.Generally,the method ofverification-then -testingdoes not guarantee that the given safety properties are tested because test generation is independent of given properties.In this paper,we propose to test safety properties based on the input-output labeled transition system.Output mutations are applied to construct the output-complete model of an implementation under test.Test cases are generated by finding out dangerous traces.We give safety property test criteria based on the structural graph coverage,and propose a method to formalize the test criteria.NuSMV is used to model check the output-complete model to generate the test cases that are relevant to the given safety property and satisfy the structural coverage." @default.
- W2390353949 created "2016-06-24" @default.
- W2390353949 creator A5002818077 @default.
- W2390353949 date "2011-01-01" @default.
- W2390353949 modified "2023-09-25" @default.
- W2390353949 title "Generate Safety Property Tests Using Model Checking" @default.
- W2390353949 hasPublicationYear "2011" @default.
- W2390353949 type Work @default.
- W2390353949 sameAs 2390353949 @default.
- W2390353949 citedByCount "0" @default.
- W2390353949 crossrefType "journal-article" @default.
- W2390353949 hasAuthorship W2390353949A5002818077 @default.
- W2390353949 hasConcept C105795698 @default.
- W2390353949 hasConcept C110251889 @default.
- W2390353949 hasConcept C111472728 @default.
- W2390353949 hasConcept C11413529 @default.
- W2390353949 hasConcept C127413603 @default.
- W2390353949 hasConcept C132519959 @default.
- W2390353949 hasConcept C132525143 @default.
- W2390353949 hasConcept C138885662 @default.
- W2390353949 hasConcept C151730666 @default.
- W2390353949 hasConcept C189950617 @default.
- W2390353949 hasConcept C199360897 @default.
- W2390353949 hasConcept C200601418 @default.
- W2390353949 hasConcept C2777267654 @default.
- W2390353949 hasConcept C2780801425 @default.
- W2390353949 hasConcept C33923547 @default.
- W2390353949 hasConcept C41008148 @default.
- W2390353949 hasConcept C80444323 @default.
- W2390353949 hasConcept C86803240 @default.
- W2390353949 hasConceptScore W2390353949C105795698 @default.
- W2390353949 hasConceptScore W2390353949C110251889 @default.
- W2390353949 hasConceptScore W2390353949C111472728 @default.
- W2390353949 hasConceptScore W2390353949C11413529 @default.
- W2390353949 hasConceptScore W2390353949C127413603 @default.
- W2390353949 hasConceptScore W2390353949C132519959 @default.
- W2390353949 hasConceptScore W2390353949C132525143 @default.
- W2390353949 hasConceptScore W2390353949C138885662 @default.
- W2390353949 hasConceptScore W2390353949C151730666 @default.
- W2390353949 hasConceptScore W2390353949C189950617 @default.
- W2390353949 hasConceptScore W2390353949C199360897 @default.
- W2390353949 hasConceptScore W2390353949C200601418 @default.
- W2390353949 hasConceptScore W2390353949C2777267654 @default.
- W2390353949 hasConceptScore W2390353949C2780801425 @default.
- W2390353949 hasConceptScore W2390353949C33923547 @default.
- W2390353949 hasConceptScore W2390353949C41008148 @default.
- W2390353949 hasConceptScore W2390353949C80444323 @default.
- W2390353949 hasConceptScore W2390353949C86803240 @default.
- W2390353949 hasLocation W23903539491 @default.
- W2390353949 hasOpenAccess W2390353949 @default.
- W2390353949 hasPrimaryLocation W23903539491 @default.
- W2390353949 hasRelatedWork W1003524540 @default.
- W2390353949 hasRelatedWork W137013183 @default.
- W2390353949 hasRelatedWork W179980580 @default.
- W2390353949 hasRelatedWork W2003970674 @default.
- W2390353949 hasRelatedWork W2033912676 @default.
- W2390353949 hasRelatedWork W2125261898 @default.
- W2390353949 hasRelatedWork W2173869268 @default.
- W2390353949 hasRelatedWork W2324019695 @default.
- W2390353949 hasRelatedWork W2391219862 @default.
- W2390353949 hasRelatedWork W2415260637 @default.
- W2390353949 hasRelatedWork W2563818471 @default.
- W2390353949 hasRelatedWork W2564924167 @default.
- W2390353949 hasRelatedWork W2890347546 @default.
- W2390353949 hasRelatedWork W2928427891 @default.
- W2390353949 hasRelatedWork W2940120654 @default.
- W2390353949 hasRelatedWork W2972865466 @default.
- W2390353949 hasRelatedWork W3165308169 @default.
- W2390353949 hasRelatedWork W3194732003 @default.
- W2390353949 hasRelatedWork W2437723255 @default.
- W2390353949 hasRelatedWork W2740825507 @default.
- W2390353949 isParatext "false" @default.
- W2390353949 isRetracted "false" @default.
- W2390353949 magId "2390353949" @default.
- W2390353949 workType "article" @default.