Search
Now showing items 1-4 of 4
Increasing test efficiency by risk-driven model-based testing
(Elsevier, 2018-10)
We introduce an approach and a tool, RIMA, for adapting test models used for model-based testing to augment information regarding failure risk. We represent test models in the form of Markov chains. These models comprise ...
Democratization of runtime verification for internet of things
(Elsevier, 2018-05)
Internet of Things (IoT) devices have gained more prevalence in ambient assisted living (AAL) systems. Reliability of AAL systems is critical especially in assuring the safety and well-being of elderly people. Runtime ...
Observing interoperability of IoT systems through model-based testing
(Springer Nature, 2018)
Internet of Things (IoT) has drastically modified the industrial services provided through autonomous machine-to-machine interactions. Such systems comprise of devices manufactured by various suppliers. Verification is a ...
Model-based runtime monitoring of smart city systems
(Elsevier, 2018)
The pace of proliferation for smart systems in city wide applications is unmatched. The introduction of Internet of Things (IoT), an enabler of smart city phenomenon, has incubated a productive environment for such ...
Share this page