FRINK Linked Data Fragments server

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

• W1878755561 endingPage "111" @default.
• W1878755561 startingPage "96" @default.
• W1878755561 abstract "This paper proposes novel off-line test generation techniques for non-deterministic timed automata with inputs and outputs (TAIOs) in the formal framework of the tioco, conformance theory. In this context, a first problem is the determinization of TAIOs, which is necessary to foresee next enabled actions, but is in general impossible. This problem is solved here thanks to an approximate determinization using a game approach, which preserves tioco, and guarantees the soundness of generated test cases. A second problem is test selection for which a precise description of timed behaviors to be tested is carried out by expressive test purposes modeled by a generalization of TAIOs. Finally, using a symbolic co-reachability analysis guided by the test purpose, test cases are generated in the form of TAIOs equipped with verdicts." @default.
• W1878755561 created "2016-06-24" @default.
• W1878755561 creator A5001727653 @default.
• W1878755561 creator A5004970162 @default.
• W1878755561 creator A5019307337 @default.
• W1878755561 creator A5026706967 @default.
• W1878755561 date "2011-01-01" @default.
• W1878755561 modified "2023-10-16" @default.
• W1878755561 title "Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata" @default.
• W1878755561 cites W1522465028 @default.
• W1878755561 cites W1557346410 @default.
• W1878755561 cites W1581209726 @default.
• W1878755561 cites W1586681669 @default.
• W1878755561 cites W1606443439 @default.
• W1878755561 cites W170566065 @default.
• W1878755561 cites W1878755561 @default.
• W1878755561 cites W2101508170 @default.
• W1878755561 cites W2119488343 @default.
• W1878755561 cites W2120916408 @default.
• W1878755561 cites W2144186266 @default.
• W1878755561 cites W2152069471 @default.
• W1878755561 cites W2156016854 @default.
• W1878755561 cites W2916184944 @default.
• W1878755561 doi "https://doi.org/10.1007/978-3-642-19835-9_10" @default.
• W1878755561 hasPublicationYear "2011" @default.
• W1878755561 type Work @default.
• W1878755561 sameAs 1878755561 @default.
• W1878755561 citedByCount "17" @default.
• W1878755561 countsByYear W18787555612012 @default.
• W1878755561 countsByYear W18787555612013 @default.
• W1878755561 countsByYear W18787555612014 @default.
• W1878755561 countsByYear W18787555612015 @default.
• W1878755561 countsByYear W18787555612017 @default.
• W1878755561 countsByYear W18787555612018 @default.
• W1878755561 countsByYear W18787555612019 @default.
• W1878755561 countsByYear W18787555612020 @default.
• W1878755561 crossrefType "book-chapter" @default.
• W1878755561 hasAuthorship W1878755561A5001727653 @default.
• W1878755561 hasAuthorship W1878755561A5004970162 @default.
• W1878755561 hasAuthorship W1878755561A5019307337 @default.
• W1878755561 hasAuthorship W1878755561A5026706967 @default.
• W1878755561 hasBestOaLocation W18787555611 @default.
• W1878755561 hasConcept C111919701 @default.
• W1878755561 hasConcept C112505250 @default.
• W1878755561 hasConcept C11413529 @default.
• W1878755561 hasConcept C119857082 @default.
• W1878755561 hasConcept C128942645 @default.
• W1878755561 hasConcept C134306372 @default.
• W1878755561 hasConcept C136643341 @default.
• W1878755561 hasConcept C151730666 @default.
• W1878755561 hasConcept C152877465 @default.
• W1878755561 hasConcept C154945302 @default.
• W1878755561 hasConcept C177148314 @default.
• W1878755561 hasConcept C188087704 @default.
• W1878755561 hasConcept C199360897 @default.
• W1878755561 hasConcept C2777267654 @default.
• W1878755561 hasConcept C2777669093 @default.
• W1878755561 hasConcept C2779343474 @default.
• W1878755561 hasConcept C33923547 @default.
• W1878755561 hasConcept C39920170 @default.
• W1878755561 hasConcept C41008148 @default.
• W1878755561 hasConcept C76844732 @default.
• W1878755561 hasConcept C80444323 @default.
• W1878755561 hasConcept C81917197 @default.
• W1878755561 hasConcept C86803240 @default.
• W1878755561 hasConceptScore W1878755561C111919701 @default.
• W1878755561 hasConceptScore W1878755561C112505250 @default.
• W1878755561 hasConceptScore W1878755561C11413529 @default.
• W1878755561 hasConceptScore W1878755561C119857082 @default.
• W1878755561 hasConceptScore W1878755561C128942645 @default.
• W1878755561 hasConceptScore W1878755561C134306372 @default.
• W1878755561 hasConceptScore W1878755561C136643341 @default.
• W1878755561 hasConceptScore W1878755561C151730666 @default.
• W1878755561 hasConceptScore W1878755561C152877465 @default.
• W1878755561 hasConceptScore W1878755561C154945302 @default.
• W1878755561 hasConceptScore W1878755561C177148314 @default.
• W1878755561 hasConceptScore W1878755561C188087704 @default.
• W1878755561 hasConceptScore W1878755561C199360897 @default.
• W1878755561 hasConceptScore W1878755561C2777267654 @default.
• W1878755561 hasConceptScore W1878755561C2777669093 @default.
• W1878755561 hasConceptScore W1878755561C2779343474 @default.
• W1878755561 hasConceptScore W1878755561C33923547 @default.
• W1878755561 hasConceptScore W1878755561C39920170 @default.
• W1878755561 hasConceptScore W1878755561C41008148 @default.
• W1878755561 hasConceptScore W1878755561C76844732 @default.
• W1878755561 hasConceptScore W1878755561C80444323 @default.
• W1878755561 hasConceptScore W1878755561C81917197 @default.
• W1878755561 hasConceptScore W1878755561C86803240 @default.
• W1878755561 hasLocation W18787555611 @default.
• W1878755561 hasLocation W187875556110 @default.
• W1878755561 hasLocation W18787555612 @default.
• W1878755561 hasLocation W18787555613 @default.
• W1878755561 hasLocation W18787555614 @default.
• W1878755561 hasLocation W18787555615 @default.
• W1878755561 hasLocation W18787555616 @default.
• W1878755561 hasLocation W18787555617 @default.
• W1878755561 hasLocation W18787555618 @default.
• W1878755561 hasLocation W18787555619 @default.

• next