Matches in SemOpenAlex for { <https://semopenalex.org/work/W2135292007> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2135292007 abstract "In this paper, we propose a test case generation technique based on Object-Z specification of a class, based on formalization of the test case generation strategy. The proposed technique enables automatic generation of test cases from an Object-Z specification, under the specified strategy. We also propose to enhance the prototype tool TinMan, which was originally developed to automate derivation and management of testing information for specificationbased class testing, by introducing semantics knowledge for the application of test case generation strategies in a format acceptable to the tool." @default.
- W2135292007 created "2016-06-24" @default.
- W2135292007 creator A5020661113 @default.
- W2135292007 creator A5055105845 @default.
- W2135292007 date "2006-01-01" @default.
- W2135292007 modified "2023-09-26" @default.
- W2135292007 title "Automating the Generation of Test Cases from Object-Z Specifications" @default.
- W2135292007 cites W1564637213 @default.
- W2135292007 cites W1940162446 @default.
- W2135292007 cites W2010659585 @default.
- W2135292007 cites W2016578292 @default.
- W2135292007 cites W2127712950 @default.
- W2135292007 cites W2131507481 @default.
- W2135292007 cites W2146972408 @default.
- W2135292007 cites W2160242627 @default.
- W2135292007 doi "https://doi.org/10.1109/compsac.2006.120" @default.
- W2135292007 hasPublicationYear "2006" @default.
- W2135292007 type Work @default.
- W2135292007 sameAs 2135292007 @default.
- W2135292007 citedByCount "2" @default.
- W2135292007 countsByYear W21352920072012 @default.
- W2135292007 countsByYear W21352920072015 @default.
- W2135292007 crossrefType "proceedings-article" @default.
- W2135292007 hasAuthorship W2135292007A5020661113 @default.
- W2135292007 hasAuthorship W2135292007A5055105845 @default.
- W2135292007 hasConcept C109852812 @default.
- W2135292007 hasConcept C115903868 @default.
- W2135292007 hasConcept C116253237 @default.
- W2135292007 hasConcept C119857082 @default.
- W2135292007 hasConcept C128942645 @default.
- W2135292007 hasConcept C151730666 @default.
- W2135292007 hasConcept C152877465 @default.
- W2135292007 hasConcept C154945302 @default.
- W2135292007 hasConcept C169168650 @default.
- W2135292007 hasConcept C184337299 @default.
- W2135292007 hasConcept C186846655 @default.
- W2135292007 hasConcept C199360897 @default.
- W2135292007 hasConcept C2777212361 @default.
- W2135292007 hasConcept C2777267654 @default.
- W2135292007 hasConcept C2777904410 @default.
- W2135292007 hasConcept C2781238097 @default.
- W2135292007 hasConcept C41008148 @default.
- W2135292007 hasConcept C529173508 @default.
- W2135292007 hasConcept C73752529 @default.
- W2135292007 hasConcept C7435765 @default.
- W2135292007 hasConcept C86803240 @default.
- W2135292007 hasConceptScore W2135292007C109852812 @default.
- W2135292007 hasConceptScore W2135292007C115903868 @default.
- W2135292007 hasConceptScore W2135292007C116253237 @default.
- W2135292007 hasConceptScore W2135292007C119857082 @default.
- W2135292007 hasConceptScore W2135292007C128942645 @default.
- W2135292007 hasConceptScore W2135292007C151730666 @default.
- W2135292007 hasConceptScore W2135292007C152877465 @default.
- W2135292007 hasConceptScore W2135292007C154945302 @default.
- W2135292007 hasConceptScore W2135292007C169168650 @default.
- W2135292007 hasConceptScore W2135292007C184337299 @default.
- W2135292007 hasConceptScore W2135292007C186846655 @default.
- W2135292007 hasConceptScore W2135292007C199360897 @default.
- W2135292007 hasConceptScore W2135292007C2777212361 @default.
- W2135292007 hasConceptScore W2135292007C2777267654 @default.
- W2135292007 hasConceptScore W2135292007C2777904410 @default.
- W2135292007 hasConceptScore W2135292007C2781238097 @default.
- W2135292007 hasConceptScore W2135292007C41008148 @default.
- W2135292007 hasConceptScore W2135292007C529173508 @default.
- W2135292007 hasConceptScore W2135292007C73752529 @default.
- W2135292007 hasConceptScore W2135292007C7435765 @default.
- W2135292007 hasConceptScore W2135292007C86803240 @default.
- W2135292007 hasLocation W21352920071 @default.
- W2135292007 hasOpenAccess W2135292007 @default.
- W2135292007 hasPrimaryLocation W21352920071 @default.
- W2135292007 hasRelatedWork W2007549991 @default.
- W2135292007 hasRelatedWork W2018527629 @default.
- W2135292007 hasRelatedWork W2138339522 @default.
- W2135292007 hasRelatedWork W2168286023 @default.
- W2135292007 hasRelatedWork W2392299784 @default.
- W2135292007 hasRelatedWork W2484007621 @default.
- W2135292007 hasRelatedWork W3017054977 @default.
- W2135292007 hasRelatedWork W618049650 @default.
- W2135292007 hasRelatedWork W83901844 @default.
- W2135292007 hasRelatedWork W2340727272 @default.
- W2135292007 isParatext "false" @default.
- W2135292007 isRetracted "false" @default.
- W2135292007 magId "2135292007" @default.
- W2135292007 workType "article" @default.