Browsing UiS Brage by Author "Kristensen, Lars Michael"
Now showing items 1-2 of 2
-
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model
Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker (Peer reviewed; Journal article, 2019-04)Implementing test suites for distributed software systems is a complex and time-consuming task due to the number of test cases that need to be considered in order to obtain high coverage. We show how a formal Coloured Petri ... -
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model
Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker (Peer reviewed; Journal article, 2019-04)Implementing test suites for distributed software systems is a complex and time-consuming task due to the number of test cases that need to be considered in order to obtain high coverage. We show how a formal Coloured Petri ...