FRINK Linked Data Fragments server

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

• W2626293886 abstract "This paper presents a model-based testing framework for black-box probabilistic systems with stochastic continuous time. Markov automata are used as an underlying model. We show how to generate, execute and evaluate test cases automatically from a probabilistically timed requirements model. In doing so, we connect classical ioco-theory with statistical hypothesis testing; our ioco-style algorithms test for functional behaviour, while (chi ^2) hypothesis tests and confidence interval estimations assess the statistical correctness of the system." @default.
• W2626293886 created "2017-06-23" @default.
• W2626293886 creator A5045316548 @default.
• W2626293886 creator A5053065289 @default.
• W2626293886 date "2017-01-01" @default.
• W2626293886 modified "2023-09-27" @default.
• W2626293886 title "Model-Based Testing of Probabilistic Systems with Stochastic Time" @default.
• W2626293886 cites W1495188953 @default.
• W2626293886 cites W1507843766 @default.
• W2626293886 cites W1516256348 @default.
• W2626293886 cites W1519975715 @default.
• W2626293886 cites W1524948529 @default.
• W2626293886 cites W1545761035 @default.
• W2626293886 cites W1597655219 @default.
• W2626293886 cites W1604458898 @default.
• W2626293886 cites W180513329 @default.
• W2626293886 cites W1821489642 @default.
• W2626293886 cites W1969276979 @default.
• W2626293886 cites W1971521743 @default.
• W2626293886 cites W1992008267 @default.
• W2626293886 cites W2025687460 @default.
• W2626293886 cites W2038373047 @default.
• W2626293886 cites W2049988785 @default.
• W2626293886 cites W2105080323 @default.
• W2626293886 cites W2107360681 @default.
• W2626293886 cites W2111987809 @default.
• W2626293886 cites W2117429544 @default.
• W2626293886 cites W2119488343 @default.
• W2626293886 cites W2120916408 @default.
• W2626293886 cites W2122515544 @default.
• W2626293886 cites W2122774732 @default.
• W2626293886 cites W2134991157 @default.
• W2626293886 cites W2137865376 @default.
• W2626293886 cites W2138732068 @default.
• W2626293886 cites W2139738359 @default.
• W2626293886 cites W2153717963 @default.
• W2626293886 cites W2154144595 @default.
• W2626293886 cites W2163234015 @default.
• W2626293886 cites W2163369706 @default.
• W2626293886 cites W2166352318 @default.
• W2626293886 cites W2226985919 @default.
• W2626293886 cites W2293613231 @default.
• W2626293886 cites W2336416123 @default.
• W2626293886 cites W2414501716 @default.
• W2626293886 cites W2548130192 @default.
• W2626293886 cites W2603261448 @default.
• W2626293886 cites W275084143 @default.
• W2626293886 cites W3137473915 @default.
• W2626293886 cites W4246266336 @default.
• W2626293886 doi "https://doi.org/10.1007/978-3-319-61467-0_5" @default.
• W2626293886 hasPublicationYear "2017" @default.
• W2626293886 type Work @default.
• W2626293886 sameAs 2626293886 @default.
• W2626293886 citedByCount "3" @default.
• W2626293886 countsByYear W26262938862018 @default.
• W2626293886 countsByYear W26262938862019 @default.
• W2626293886 crossrefType "book-chapter" @default.
• W2626293886 hasAuthorship W2626293886A5045316548 @default.
• W2626293886 hasAuthorship W2626293886A5053065289 @default.
• W2626293886 hasConcept C105795698 @default.
• W2626293886 hasConcept C108913964 @default.
• W2626293886 hasConcept C112505250 @default.
• W2626293886 hasConcept C11413529 @default.
• W2626293886 hasConcept C114289077 @default.
• W2626293886 hasConcept C119857082 @default.
• W2626293886 hasConcept C128942645 @default.
• W2626293886 hasConcept C143017306 @default.
• W2626293886 hasConcept C152877465 @default.
• W2626293886 hasConcept C154945302 @default.
• W2626293886 hasConcept C159886148 @default.
• W2626293886 hasConcept C163836022 @default.
• W2626293886 hasConcept C165825675 @default.
• W2626293886 hasConcept C174784677 @default.
• W2626293886 hasConcept C24404364 @default.
• W2626293886 hasConcept C33923547 @default.
• W2626293886 hasConcept C41008148 @default.
• W2626293886 hasConcept C49937458 @default.
• W2626293886 hasConcept C55439883 @default.
• W2626293886 hasConcept C80444323 @default.
• W2626293886 hasConcept C87007009 @default.
• W2626293886 hasConcept C98763669 @default.
• W2626293886 hasConceptScore W2626293886C105795698 @default.
• W2626293886 hasConceptScore W2626293886C108913964 @default.
• W2626293886 hasConceptScore W2626293886C112505250 @default.
• W2626293886 hasConceptScore W2626293886C11413529 @default.
• W2626293886 hasConceptScore W2626293886C114289077 @default.
• W2626293886 hasConceptScore W2626293886C119857082 @default.
• W2626293886 hasConceptScore W2626293886C128942645 @default.
• W2626293886 hasConceptScore W2626293886C143017306 @default.
• W2626293886 hasConceptScore W2626293886C152877465 @default.
• W2626293886 hasConceptScore W2626293886C154945302 @default.
• W2626293886 hasConceptScore W2626293886C159886148 @default.
• W2626293886 hasConceptScore W2626293886C163836022 @default.
• W2626293886 hasConceptScore W2626293886C165825675 @default.
• W2626293886 hasConceptScore W2626293886C174784677 @default.
• W2626293886 hasConceptScore W2626293886C24404364 @default.
• W2626293886 hasConceptScore W2626293886C33923547 @default.
• W2626293886 hasConceptScore W2626293886C41008148 @default.
• W2626293886 hasConceptScore W2626293886C49937458 @default.
• W2626293886 hasConceptScore W2626293886C55439883 @default.

• next