Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569647940> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W1569647940 endingPage "468" @default.
- W1569647940 startingPage "462" @default.
- W1569647940 abstract "We describe an approach to automatically generate test cases from object-oriented statecharts as they are used in the UML and supported by development tools such as I-Logics Rhapsody. This work contributes in three respects to using statecharts for specifying and verifying systems. First, it concretizes previously proposed semantics of statecharts by instantiating the abstract data type for the event management and analyzes the resulting specific properties. Second, building on a previously defined conformance relation it discusses two interpretations of stuttering. Third, it introduces a compact data structure for representing the statechart semantics that allows for efficient generation of test cases and easily supports both interpretations of stuttering." @default.
- W1569647940 created "2016-06-24" @default.
- W1569647940 creator A5004196671 @default.
- W1569647940 creator A5052118436 @default.
- W1569647940 creator A5061933277 @default.
- W1569647940 date "2004-01-01" @default.
- W1569647940 modified "2023-10-03" @default.
- W1569647940 title "Test Case Generation for UML Statecharts" @default.
- W1569647940 cites W2129395888 @default.
- W1569647940 cites W4230300044 @default.
- W1569647940 doi "https://doi.org/10.1007/978-3-540-39866-0_46" @default.
- W1569647940 hasPublicationYear "2004" @default.
- W1569647940 type Work @default.
- W1569647940 sameAs 1569647940 @default.
- W1569647940 citedByCount "15" @default.
- W1569647940 countsByYear W15696479402012 @default.
- W1569647940 countsByYear W15696479402015 @default.
- W1569647940 countsByYear W15696479402017 @default.
- W1569647940 countsByYear W15696479402019 @default.
- W1569647940 crossrefType "book-chapter" @default.
- W1569647940 hasAuthorship W1569647940A5004196671 @default.
- W1569647940 hasAuthorship W1569647940A5052118436 @default.
- W1569647940 hasAuthorship W1569647940A5061933277 @default.
- W1569647940 hasConcept C119857082 @default.
- W1569647940 hasConcept C124101348 @default.
- W1569647940 hasConcept C128942645 @default.
- W1569647940 hasConcept C145644426 @default.
- W1569647940 hasConcept C152877465 @default.
- W1569647940 hasConcept C184337299 @default.
- W1569647940 hasConcept C199360897 @default.
- W1569647940 hasConcept C25343380 @default.
- W1569647940 hasConcept C2777904410 @default.
- W1569647940 hasConcept C41008148 @default.
- W1569647940 hasConceptScore W1569647940C119857082 @default.
- W1569647940 hasConceptScore W1569647940C124101348 @default.
- W1569647940 hasConceptScore W1569647940C128942645 @default.
- W1569647940 hasConceptScore W1569647940C145644426 @default.
- W1569647940 hasConceptScore W1569647940C152877465 @default.
- W1569647940 hasConceptScore W1569647940C184337299 @default.
- W1569647940 hasConceptScore W1569647940C199360897 @default.
- W1569647940 hasConceptScore W1569647940C25343380 @default.
- W1569647940 hasConceptScore W1569647940C2777904410 @default.
- W1569647940 hasConceptScore W1569647940C41008148 @default.
- W1569647940 hasLocation W15696479401 @default.
- W1569647940 hasOpenAccess W1569647940 @default.
- W1569647940 hasPrimaryLocation W15696479401 @default.
- W1569647940 hasRelatedWork W1506466034 @default.
- W1569647940 hasRelatedWork W1587224678 @default.
- W1569647940 hasRelatedWork W1614977708 @default.
- W1569647940 hasRelatedWork W1846093478 @default.
- W1569647940 hasRelatedWork W1972694089 @default.
- W1569647940 hasRelatedWork W1981005390 @default.
- W1569647940 hasRelatedWork W2118300983 @default.
- W1569647940 hasRelatedWork W2135747418 @default.
- W1569647940 hasRelatedWork W2947860345 @default.
- W1569647940 hasRelatedWork W4243252198 @default.
- W1569647940 isParatext "false" @default.
- W1569647940 isRetracted "false" @default.
- W1569647940 magId "1569647940" @default.
- W1569647940 workType "book-chapter" @default.