Property-Based Testing of Smart Contracts

This is part of the bachelor project by Jesper Schougaard Pedersen, Andreas Asferg Jacobsen & Sebastian Alexander Brunbjerg Nielsen

This repository features PBT of 4 smart contracts, along with some other experimental work we did along the way

The Fibonacci smart contract is from here
The Auction smart contract is from here
The Commerce smart contract is a translation, by us, to Rust for the Solidity implementation here
The Open Vote Network smart contract is from here

Name		Name	Last commit message	Last commit date
Latest commit History 23 Commits
.idea		.idea
Auction		Auction
Commerce		Commerce
Fibonacci		Fibonacci
Other		Other
Piggybank		Piggybank
concordium-rust-smart-contracts-new-contract-state		concordium-rust-smart-contracts-new-contract-state
open-vote-network		open-vote-network
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
README.md		README.md
property-based-testing-of-smart-contracts.pdf		property-based-testing-of-smart-contracts.pdf

Provide feedback