Matches in SemOpenAlex for { <https://semopenalex.org/work/W1539210478> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1539210478 endingPage "111" @default.
- W1539210478 startingPage "95" @default.
- W1539210478 abstract "Multi input/output transition system (MIOTS) models the interface distribution of a system by partitioning its inputs and outputs into channels. The MIOTS refusal testing theory has been based on singular observers. Such an observer is useful for eliminating nondeterminism in the testing process, but also contributes to the large size of the test suites. We propose an alternative type of observers: all-observer, which can observe all the output channels simultaneously, and help to reduce a test suite effectively. An algorithm is presented to generate an all-observer test suite from the specification. The derived test suite is sound for all MIOTS systems, and complete for a class of MIOTS systems that are common in practice. We also discuss the problem of factorized all-observer test generation. Our work complements the MIOTS refusal testing with singular observers." @default.
- W1539210478 created "2016-06-24" @default.
- W1539210478 creator A5001949272 @default.
- W1539210478 creator A5037466172 @default.
- W1539210478 creator A5083627690 @default.
- W1539210478 date "2004-01-01" @default.
- W1539210478 modified "2023-09-27" @default.
- W1539210478 title "Testing Multi Input/Output Transition System with All-Observer" @default.
- W1539210478 cites W1498203526 @default.
- W1539210478 cites W1567579993 @default.
- W1539210478 cites W1591004135 @default.
- W1539210478 cites W2118954772 @default.
- W1539210478 cites W2157144873 @default.
- W1539210478 cites W2913048148 @default.
- W1539210478 doi "https://doi.org/10.1007/978-3-540-24704-3_7" @default.
- W1539210478 hasPublicationYear "2004" @default.
- W1539210478 type Work @default.
- W1539210478 sameAs 1539210478 @default.
- W1539210478 citedByCount "9" @default.
- W1539210478 countsByYear W15392104782012 @default.
- W1539210478 countsByYear W15392104782015 @default.
- W1539210478 crossrefType "book-chapter" @default.
- W1539210478 hasAuthorship W1539210478A5001949272 @default.
- W1539210478 hasAuthorship W1539210478A5037466172 @default.
- W1539210478 hasAuthorship W1539210478A5083627690 @default.
- W1539210478 hasBestOaLocation W15392104781 @default.
- W1539210478 hasConcept C11413529 @default.
- W1539210478 hasConcept C119857082 @default.
- W1539210478 hasConcept C121332964 @default.
- W1539210478 hasConcept C128942645 @default.
- W1539210478 hasConcept C151552104 @default.
- W1539210478 hasConcept C152877465 @default.
- W1539210478 hasConcept C154945302 @default.
- W1539210478 hasConcept C166957645 @default.
- W1539210478 hasConcept C199360897 @default.
- W1539210478 hasConcept C2775924081 @default.
- W1539210478 hasConcept C2779167558 @default.
- W1539210478 hasConcept C2780704645 @default.
- W1539210478 hasConcept C41008148 @default.
- W1539210478 hasConcept C47446073 @default.
- W1539210478 hasConcept C62520636 @default.
- W1539210478 hasConcept C79581498 @default.
- W1539210478 hasConcept C95457728 @default.
- W1539210478 hasConcept C98045186 @default.
- W1539210478 hasConceptScore W1539210478C11413529 @default.
- W1539210478 hasConceptScore W1539210478C119857082 @default.
- W1539210478 hasConceptScore W1539210478C121332964 @default.
- W1539210478 hasConceptScore W1539210478C128942645 @default.
- W1539210478 hasConceptScore W1539210478C151552104 @default.
- W1539210478 hasConceptScore W1539210478C152877465 @default.
- W1539210478 hasConceptScore W1539210478C154945302 @default.
- W1539210478 hasConceptScore W1539210478C166957645 @default.
- W1539210478 hasConceptScore W1539210478C199360897 @default.
- W1539210478 hasConceptScore W1539210478C2775924081 @default.
- W1539210478 hasConceptScore W1539210478C2779167558 @default.
- W1539210478 hasConceptScore W1539210478C2780704645 @default.
- W1539210478 hasConceptScore W1539210478C41008148 @default.
- W1539210478 hasConceptScore W1539210478C47446073 @default.
- W1539210478 hasConceptScore W1539210478C62520636 @default.
- W1539210478 hasConceptScore W1539210478C79581498 @default.
- W1539210478 hasConceptScore W1539210478C95457728 @default.
- W1539210478 hasConceptScore W1539210478C98045186 @default.
- W1539210478 hasLocation W15392104781 @default.
- W1539210478 hasOpenAccess W1539210478 @default.
- W1539210478 hasPrimaryLocation W15392104781 @default.
- W1539210478 hasRelatedWork W1517479908 @default.
- W1539210478 hasRelatedWork W1539210478 @default.
- W1539210478 hasRelatedWork W1597092413 @default.
- W1539210478 hasRelatedWork W1991113092 @default.
- W1539210478 hasRelatedWork W2088146190 @default.
- W1539210478 hasRelatedWork W2121171971 @default.
- W1539210478 hasRelatedWork W2465616004 @default.
- W1539210478 hasRelatedWork W3174527952 @default.
- W1539210478 hasRelatedWork W1488452167 @default.
- W1539210478 hasRelatedWork W2794878329 @default.
- W1539210478 isParatext "false" @default.
- W1539210478 isRetracted "false" @default.
- W1539210478 magId "1539210478" @default.
- W1539210478 workType "book-chapter" @default.