Matches in SemOpenAlex for { <https://semopenalex.org/work/W2077847538> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2077847538 abstract "This paper proposes a functional testing approach for safety properties formalized as hybrid automata. We first propose a formalism inspired from the concept of operational profile to specify test requirements for hybrid automata. We propose an associated parametric adequacy criterion that measures to what extent a given test suite satisfies these requirements. We also develop a set of hypothesis under which the proposed criterion can be evaluated when testing from a black box system when time is discretized and some signals of the automaton are not observable on the concrete system under test. We finally present the HyATT tool prototype that was developed to implement the proposed approach, and report practical feedback of applying it on a case study." @default.
- W2077847538 created "2016-06-24" @default.
- W2077847538 creator A5038561587 @default.
- W2077847538 creator A5056667816 @default.
- W2077847538 creator A5059673708 @default.
- W2077847538 creator A5091108900 @default.
- W2077847538 date "2013-03-01" @default.
- W2077847538 modified "2023-09-26" @default.
- W2077847538 title "A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information" @default.
- W2077847538 cites W1549936229 @default.
- W2077847538 cites W1891915427 @default.
- W2077847538 cites W1964678795 @default.
- W2077847538 cites W1966392103 @default.
- W2077847538 cites W2085838366 @default.
- W2077847538 cites W2101508170 @default.
- W2077847538 cites W2103559378 @default.
- W2077847538 cites W2113004249 @default.
- W2077847538 cites W2126818664 @default.
- W2077847538 cites W2138732068 @default.
- W2077847538 cites W2154897437 @default.
- W2077847538 cites W2160007801 @default.
- W2077847538 cites W2163590987 @default.
- W2077847538 cites W2165426643 @default.
- W2077847538 cites W3022429701 @default.
- W2077847538 cites W2886568447 @default.
- W2077847538 doi "https://doi.org/10.1109/icst.2013.25" @default.
- W2077847538 hasPublicationYear "2013" @default.
- W2077847538 type Work @default.
- W2077847538 sameAs 2077847538 @default.
- W2077847538 citedByCount "0" @default.
- W2077847538 crossrefType "proceedings-article" @default.
- W2077847538 hasAuthorship W2077847538A5038561587 @default.
- W2077847538 hasAuthorship W2077847538A5056667816 @default.
- W2077847538 hasAuthorship W2077847538A5059673708 @default.
- W2077847538 hasAuthorship W2077847538A5091108900 @default.
- W2077847538 hasConcept C105795698 @default.
- W2077847538 hasConcept C112505250 @default.
- W2077847538 hasConcept C11413529 @default.
- W2077847538 hasConcept C117251300 @default.
- W2077847538 hasConcept C119857082 @default.
- W2077847538 hasConcept C128942645 @default.
- W2077847538 hasConcept C142362112 @default.
- W2077847538 hasConcept C151552104 @default.
- W2077847538 hasConcept C152877465 @default.
- W2077847538 hasConcept C153349607 @default.
- W2077847538 hasConcept C165825675 @default.
- W2077847538 hasConcept C166957645 @default.
- W2077847538 hasConcept C177264268 @default.
- W2077847538 hasConcept C199360897 @default.
- W2077847538 hasConcept C2776028153 @default.
- W2077847538 hasConcept C33923547 @default.
- W2077847538 hasConcept C41008148 @default.
- W2077847538 hasConcept C558565934 @default.
- W2077847538 hasConcept C73301696 @default.
- W2077847538 hasConcept C79581498 @default.
- W2077847538 hasConcept C80444323 @default.
- W2077847538 hasConcept C95457728 @default.
- W2077847538 hasConceptScore W2077847538C105795698 @default.
- W2077847538 hasConceptScore W2077847538C112505250 @default.
- W2077847538 hasConceptScore W2077847538C11413529 @default.
- W2077847538 hasConceptScore W2077847538C117251300 @default.
- W2077847538 hasConceptScore W2077847538C119857082 @default.
- W2077847538 hasConceptScore W2077847538C128942645 @default.
- W2077847538 hasConceptScore W2077847538C142362112 @default.
- W2077847538 hasConceptScore W2077847538C151552104 @default.
- W2077847538 hasConceptScore W2077847538C152877465 @default.
- W2077847538 hasConceptScore W2077847538C153349607 @default.
- W2077847538 hasConceptScore W2077847538C165825675 @default.
- W2077847538 hasConceptScore W2077847538C166957645 @default.
- W2077847538 hasConceptScore W2077847538C177264268 @default.
- W2077847538 hasConceptScore W2077847538C199360897 @default.
- W2077847538 hasConceptScore W2077847538C2776028153 @default.
- W2077847538 hasConceptScore W2077847538C33923547 @default.
- W2077847538 hasConceptScore W2077847538C41008148 @default.
- W2077847538 hasConceptScore W2077847538C558565934 @default.
- W2077847538 hasConceptScore W2077847538C73301696 @default.
- W2077847538 hasConceptScore W2077847538C79581498 @default.
- W2077847538 hasConceptScore W2077847538C80444323 @default.
- W2077847538 hasConceptScore W2077847538C95457728 @default.
- W2077847538 hasLocation W20778475381 @default.
- W2077847538 hasLocation W20778475382 @default.
- W2077847538 hasOpenAccess W2077847538 @default.
- W2077847538 hasPrimaryLocation W20778475381 @default.
- W2077847538 hasRelatedWork W1480521623 @default.
- W2077847538 hasRelatedWork W1597092413 @default.
- W2077847538 hasRelatedWork W2004500501 @default.
- W2077847538 hasRelatedWork W2018145554 @default.
- W2077847538 hasRelatedWork W2077847538 @default.
- W2077847538 hasRelatedWork W2110233039 @default.
- W2077847538 hasRelatedWork W2146174626 @default.
- W2077847538 hasRelatedWork W2356948891 @default.
- W2077847538 hasRelatedWork W2538766212 @default.
- W2077847538 hasRelatedWork W2591654319 @default.
- W2077847538 isParatext "false" @default.
- W2077847538 isRetracted "false" @default.
- W2077847538 magId "2077847538" @default.
- W2077847538 workType "article" @default.