A survey on formal active and passive testing with applications to the cloud | SpringerLink Skip
to main content Advertisement SpringerLink Log in Menu Find a journal Publish with us Search …

Wireless self-organizing networks (WSONs) have attracted considerable attention from the
network research community; however, the key for their success is the rigorous validation of …

Recent cluster architectures include dozens of cores per node, with all cores sharing the
network resources. To program such architectures, hybrid models mixing MPI+ threads, and …

Routing protocols allow for the spontaneous formation of wireless multi-hop networks
without dedicated infrastructure, also known as ad hoc networks. Despite significant …

Conformance testing for ad hoc routing protocols is crucial to the reliability of Wireless
Mobile Ad Hoc Networks. Most of the works related to the validation of such protocols are …

In this work, we present a novel distributed testing architecture based on a formal definition
of test cases dependencies to test the conformance of distributed systems in a black box …

Conformance testing is a crucial activity which aims at stimulating the communication system
under test (SUT) to detect errors and unexpected behaviors with regard to the standards …

As the Digital Ecosystems are growing in use and in popularity, the need to boost the
methods concerned by their interoperability is growing as well; making thus trustworthy …

Nodes in an ad-hoc network lack the protection offered by firewalls in infrastructure-based
networks. Trust based system aids to improvise this situation. A few works exists that handle …

Ad hoc networks are multi-hop wireless networks where all nodes cooperate to maintain the
network connectivity without centralised administration. The use of this emerging technology …