TUM - M.Sc. Thesis in Informatics - Designing, Implementing and Evaluating a Scalable Solution for Automated Smart Contract Unit Testing
[1] J. Spruance. Vending Machine Source Code. https://github.com/jspruance/block-explorer-tutorials/blob/main/apps/VendingMachine/vending-machine/contracts/VendingMachine.sol. Accessed: July 31, 2023. 2022.
[2] B. Öz. BBSE Bank 2.0 GitHub Repository. https://github.com/sebischair/bbse-bank-2.0. Accessed: July 31, 2023. 2022.