Now showing items 1-4 of 4
Runtime verification of internet of things using complex-event processing (RECEP)
Increase in the computing power and memory accompanied with decreasing architectural footprints has enabled conquering new frontiers in proliferation of technology in the next industry revolution. More autonomous systems ...
Risk-driven model-based testing
Software is becoming larger and more complex in consumer electronics products. As a result, testing these products for reliability is becoming a major challenge. Traditional and manual testing activities are not effective ...
HTTP adaptive streaming with advanced transport
QUIC (Quick UDP Internet Connections) is an experimental and low-latency transport network protocol proposed by Google, which is still being improved and specified in the IETF. The viewer's quality of experience (QoE) in ...
Tool support for model based software product line testing
We introduce a tool for automated adaptation of test models to be reused for a prod uct family. Test models are speciﬁed in the form of hierarchical Markov chains. They represent possible usage behavior regarding the ...
Share this page