Matches in SemOpenAlex for { <https://semopenalex.org/work/W2892280284> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2892280284 endingPage "134" @default.
- W2892280284 startingPage "119" @default.
- W2892280284 abstract "The problems of active inference (learning) and conformance testing of a system modelled by an automaton have actively been studied for decades, however, much less attention has been paid to modular systems, modelled by communicating automata. In this paper, we consider a system of two communicating FSMs, one machine represents an embedded component and another the remaining part of the system, the context. Assuming that the context FSM is known, we want to learn the embedded FSM without directly interacting with it. This problem can be viewed as a generalization of the classical automata inference in isolation, i.e., it is the grey box learning problem. The proposed approach to solve this problem relies on a SAT-solving method for FSM inference from traces. It does not depend on the composition topology and allows at the same time to solve a related problem of conformance testing in context. The latter is to test whether an embedded implementation FSM composed with the given context is equivalent to the embedded specification FSM also composed with the context. The novelty of the conformance testing method is that it directly generates a complete test suite for the embedded machine and avoids using nondeterministic approximations with their tests, eliminating thus several sources of test redundancy inherent in the existing methods." @default.
- W2892280284 created "2018-09-27" @default.
- W2892280284 creator A5043879886 @default.
- W2892280284 creator A5079848365 @default.
- W2892280284 date "2018-01-01" @default.
- W2892280284 modified "2023-09-24" @default.
- W2892280284 title "Conformance Testing and Inference of Embedded Components" @default.
- W2892280284 cites W1492519078 @default.
- W2892280284 cites W1564957338 @default.
- W2892280284 cites W1608932001 @default.
- W2892280284 cites W1760635954 @default.
- W2892280284 cites W1928675739 @default.
- W2892280284 cites W1970095641 @default.
- W2892280284 cites W2017603160 @default.
- W2892280284 cites W2039659675 @default.
- W2892280284 cites W2076343783 @default.
- W2892280284 cites W2122715775 @default.
- W2892280284 cites W2141811956 @default.
- W2892280284 cites W2143578569 @default.
- W2892280284 cites W2167653948 @default.
- W2892280284 cites W2477330182 @default.
- W2892280284 cites W2756339378 @default.
- W2892280284 cites W4232185822 @default.
- W2892280284 cites W95235497 @default.
- W2892280284 doi "https://doi.org/10.1007/978-3-319-99927-2_10" @default.
- W2892280284 hasPublicationYear "2018" @default.
- W2892280284 type Work @default.
- W2892280284 sameAs 2892280284 @default.
- W2892280284 citedByCount "1" @default.
- W2892280284 countsByYear W28922802842019 @default.
- W2892280284 crossrefType "book-chapter" @default.
- W2892280284 hasAuthorship W2892280284A5043879886 @default.
- W2892280284 hasAuthorship W2892280284A5079848365 @default.
- W2892280284 hasConcept C104091681 @default.
- W2892280284 hasConcept C111919701 @default.
- W2892280284 hasConcept C112505250 @default.
- W2892280284 hasConcept C119857082 @default.
- W2892280284 hasConcept C128942645 @default.
- W2892280284 hasConcept C151552104 @default.
- W2892280284 hasConcept C151730666 @default.
- W2892280284 hasConcept C152124472 @default.
- W2892280284 hasConcept C152877465 @default.
- W2892280284 hasConcept C154945302 @default.
- W2892280284 hasConcept C165825675 @default.
- W2892280284 hasConcept C167822520 @default.
- W2892280284 hasConcept C176181172 @default.
- W2892280284 hasConcept C188087704 @default.
- W2892280284 hasConcept C199360897 @default.
- W2892280284 hasConcept C2776214188 @default.
- W2892280284 hasConcept C2779343474 @default.
- W2892280284 hasConcept C41008148 @default.
- W2892280284 hasConcept C76844732 @default.
- W2892280284 hasConcept C80444323 @default.
- W2892280284 hasConcept C86803240 @default.
- W2892280284 hasConceptScore W2892280284C104091681 @default.
- W2892280284 hasConceptScore W2892280284C111919701 @default.
- W2892280284 hasConceptScore W2892280284C112505250 @default.
- W2892280284 hasConceptScore W2892280284C119857082 @default.
- W2892280284 hasConceptScore W2892280284C128942645 @default.
- W2892280284 hasConceptScore W2892280284C151552104 @default.
- W2892280284 hasConceptScore W2892280284C151730666 @default.
- W2892280284 hasConceptScore W2892280284C152124472 @default.
- W2892280284 hasConceptScore W2892280284C152877465 @default.
- W2892280284 hasConceptScore W2892280284C154945302 @default.
- W2892280284 hasConceptScore W2892280284C165825675 @default.
- W2892280284 hasConceptScore W2892280284C167822520 @default.
- W2892280284 hasConceptScore W2892280284C176181172 @default.
- W2892280284 hasConceptScore W2892280284C188087704 @default.
- W2892280284 hasConceptScore W2892280284C199360897 @default.
- W2892280284 hasConceptScore W2892280284C2776214188 @default.
- W2892280284 hasConceptScore W2892280284C2779343474 @default.
- W2892280284 hasConceptScore W2892280284C41008148 @default.
- W2892280284 hasConceptScore W2892280284C76844732 @default.
- W2892280284 hasConceptScore W2892280284C80444323 @default.
- W2892280284 hasConceptScore W2892280284C86803240 @default.
- W2892280284 hasLocation W28922802841 @default.
- W2892280284 hasOpenAccess W2892280284 @default.
- W2892280284 hasPrimaryLocation W28922802841 @default.
- W2892280284 hasRelatedWork W1532058475 @default.
- W2892280284 hasRelatedWork W1652311832 @default.
- W2892280284 hasRelatedWork W1909164693 @default.
- W2892280284 hasRelatedWork W2118300983 @default.
- W2892280284 hasRelatedWork W2135396778 @default.
- W2892280284 hasRelatedWork W2243428364 @default.
- W2892280284 hasRelatedWork W2462453872 @default.
- W2892280284 hasRelatedWork W3207171446 @default.
- W2892280284 hasRelatedWork W4243252198 @default.
- W2892280284 hasRelatedWork W4245713008 @default.
- W2892280284 isParatext "false" @default.
- W2892280284 isRetracted "false" @default.
- W2892280284 magId "2892280284" @default.
- W2892280284 workType "book-chapter" @default.