Checking Laws of the Blockchain with Property-Based Testing

Published in 1st International Workshop on Blockchain Oriented Software Engineering, IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER 2018), Campobasso, Italy., 2018