Login / Signup
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model.
Rui Wang
Lars Michael Kristensen
Hein Meling
Volker Stolz
Published in:
J. Log. Algebraic Methods Program. (2019)
Keyphrases
</>
petri net model
test case generation
petri net
service composition
commit protocols
web services
software testing
production process
test data generation
query processing
object oriented
test cases
distributed databases
distributed database systems