Checking laws of the blockchain with property-based testing

dc.contributor.author	Chepurnoy A.; Rathee M.
dc.date.accessioned	2025-05-24T09:31:50Z
dc.description.abstract	Inspired by the success of Bitcoin, many clients for the Bitcoin protocol as well as for alternative blockchain protocols have been implemented. However, implementations may contain errors, and the cost of an error in the case of a cryptocurrency can be extremely high. We propose to tackle this problem with a suite of abstract property tests that check whether a blockchain system satisfies laws that most blockchain and blockchain-like systems should satisfy. To test a new blockchain system, its developers need to instantiate generators of random objects to be used by the tests. The test suite then checks the satisfaction of the laws over many random cases. We provide examples of laws in the paper. © 2018 IEEE.
dc.identifier.doi	https://doi.org/10.1109/IWBOSE.2018.8327570
dc.identifier.uri	http://172.23.0.11:4000/handle/123456789/17450
dc.relation.ispartofseries	2018 IEEE 1st International Workshop on Blockchain Oriented Software Engineering, IWBOSE 2018 - Proceedings
dc.title	Checking laws of the blockchain with property-based testing

Collections