Implementing test suites for distributed software systems is a complex and time-consuming task due to the number of test cases that needs to be considered in order to obtain high coverage. We show how a formal Coloured Petri Net model can be used to automatically generate a suite of test cases for the Paxos distributed consensus protocol.
Data races occur in multi threaded programs when two or more threads access the same memory location concurrently, an
The ability to observe the internals of an execution of a computer-based system is a fundamental requirement for ulti
Runtime verification refers to a class of lightweight scalable techniques for analysis of execution traces. The core idea is to instrument a program to emit events during its execution, which are then processed by a monitor.