FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3095797677> ?p ?o ?g. }

• W3095797677 abstract "Reactive systems are characterized by the interaction with the environment, where the exchange of the input and output stimuli, usually, occurs asynchronously. Systems of this nature, in general, require a rigorous testing activity over their developing process. Therefore model-based testing has been successfully applied over asynchronous reactive systems using Input Output Labeled Transition Systems (IOLTSs) as the basis. In this work we present a reactive testing tool to check conformance, generate test suites and run test cases using IOLTS models. Our tool can check whether the behavior of an implementation under test (IUT) complies with the behavior of its respective specification. We have implemented a classical conformance relation ioco and a more general notion of conformance based on regular languages. Further, the tool provides a test suite generation in a black-box testing setting for finding faults over IUTs according to a specific domain. We have also described some case studies to probe the tool's functionalities and also to highlight a comparative analysis on both conformance approaches. Finally, we offer experiments to evaluate the performance of our tool using several scenarios." @default.
• W3095797677 created "2020-11-09" @default.
• W3095797677 creator A5051736856 @default.
• W3095797677 creator A5076819061 @default.
• W3095797677 date "2020-11-01" @default.
• W3095797677 modified "2023-09-27" @default.
• W3095797677 title "A Model-Based Testing Tool for Asynchronous Reactive Systems." @default.
• W3095797677 cites W1522465028 @default.
• W3095797677 cites W1608087281 @default.
• W3095797677 cites W1994482315 @default.
• W3095797677 cites W1994584977 @default.
• W3095797677 cites W2024851598 @default.
• W3095797677 cites W2108394166 @default.
• W3095797677 cites W2109506308 @default.
• W3095797677 cites W2123023940 @default.
• W3095797677 cites W2126818664 @default.
• W3095797677 cites W2171109896 @default.
• W3095797677 cites W2926615541 @default.
• W3095797677 cites W2945594523 @default.
• W3095797677 cites W3148446053 @default.
• W3095797677 hasPublicationYear "2020" @default.
• W3095797677 type Work @default.
• W3095797677 sameAs 3095797677 @default.
• W3095797677 citedByCount "0" @default.
• W3095797677 crossrefType "posted-content" @default.
• W3095797677 hasAuthorship W3095797677A5051736856 @default.
• W3095797677 hasAuthorship W3095797677A5076819061 @default.
• W3095797677 hasConcept C111919701 @default.
• W3095797677 hasConcept C115903868 @default.
• W3095797677 hasConcept C119857082 @default.
• W3095797677 hasConcept C124101348 @default.
• W3095797677 hasConcept C128942645 @default.
• W3095797677 hasConcept C134306372 @default.
• W3095797677 hasConcept C151319957 @default.
• W3095797677 hasConcept C151552104 @default.
• W3095797677 hasConcept C152877465 @default.
• W3095797677 hasConcept C154945302 @default.
• W3095797677 hasConcept C165825675 @default.
• W3095797677 hasConcept C166957645 @default.
• W3095797677 hasConcept C188087704 @default.
• W3095797677 hasConcept C199360897 @default.
• W3095797677 hasConcept C25343380 @default.
• W3095797677 hasConcept C31258907 @default.
• W3095797677 hasConcept C33923547 @default.
• W3095797677 hasConcept C36503486 @default.
• W3095797677 hasConcept C41008148 @default.
• W3095797677 hasConcept C76844732 @default.
• W3095797677 hasConcept C79581498 @default.
• W3095797677 hasConcept C94966114 @default.
• W3095797677 hasConcept C95457728 @default.
• W3095797677 hasConcept C98045186 @default.
• W3095797677 hasConceptScore W3095797677C111919701 @default.
• W3095797677 hasConceptScore W3095797677C115903868 @default.
• W3095797677 hasConceptScore W3095797677C119857082 @default.
• W3095797677 hasConceptScore W3095797677C124101348 @default.
• W3095797677 hasConceptScore W3095797677C128942645 @default.
• W3095797677 hasConceptScore W3095797677C134306372 @default.
• W3095797677 hasConceptScore W3095797677C151319957 @default.
• W3095797677 hasConceptScore W3095797677C151552104 @default.
• W3095797677 hasConceptScore W3095797677C152877465 @default.
• W3095797677 hasConceptScore W3095797677C154945302 @default.
• W3095797677 hasConceptScore W3095797677C165825675 @default.
• W3095797677 hasConceptScore W3095797677C166957645 @default.
• W3095797677 hasConceptScore W3095797677C188087704 @default.
• W3095797677 hasConceptScore W3095797677C199360897 @default.
• W3095797677 hasConceptScore W3095797677C25343380 @default.
• W3095797677 hasConceptScore W3095797677C31258907 @default.
• W3095797677 hasConceptScore W3095797677C33923547 @default.
• W3095797677 hasConceptScore W3095797677C36503486 @default.
• W3095797677 hasConceptScore W3095797677C41008148 @default.
• W3095797677 hasConceptScore W3095797677C76844732 @default.
• W3095797677 hasConceptScore W3095797677C79581498 @default.
• W3095797677 hasConceptScore W3095797677C94966114 @default.
• W3095797677 hasConceptScore W3095797677C95457728 @default.
• W3095797677 hasConceptScore W3095797677C98045186 @default.
• W3095797677 hasLocation W30957976771 @default.
• W3095797677 hasOpenAccess W3095797677 @default.
• W3095797677 hasPrimaryLocation W30957976771 @default.
• W3095797677 hasRelatedWork W11820374 @default.
• W3095797677 hasRelatedWork W1496998890 @default.
• W3095797677 hasRelatedWork W1540817362 @default.
• W3095797677 hasRelatedWork W1587205401 @default.
• W3095797677 hasRelatedWork W1591645440 @default.
• W3095797677 hasRelatedWork W175408375 @default.
• W3095797677 hasRelatedWork W1964231982 @default.
• W3095797677 hasRelatedWork W1974673257 @default.
• W3095797677 hasRelatedWork W2004090505 @default.
• W3095797677 hasRelatedWork W2081720016 @default.
• W3095797677 hasRelatedWork W2107360681 @default.
• W3095797677 hasRelatedWork W2285621613 @default.
• W3095797677 hasRelatedWork W2341205195 @default.
• W3095797677 hasRelatedWork W2763952729 @default.
• W3095797677 hasRelatedWork W2809620854 @default.
• W3095797677 hasRelatedWork W2901132410 @default.
• W3095797677 hasRelatedWork W2922148998 @default.
• W3095797677 hasRelatedWork W2995858600 @default.
• W3095797677 hasRelatedWork W3033397011 @default.
• W3095797677 hasRelatedWork W3207895643 @default.
• W3095797677 isParatext "false" @default.
• W3095797677 isRetracted "false" @default.

• next