...
It seems to me that this article would be helpful to a wider audience, as ideas are presented simply enough that one could consider the effectiveness and foresee possible issues concerning blockchain use across multiple applications.
Hartel, P., & Schumi, R. (2019 September. Gas limit aware mutation testing of smart contracts at scale. https://fr.arxiv.org/abs/1909.12563
The authors have focused their work on the testing of smart contracts to ensure not only their validity but also the validity of the testing tools themselves. If the tools are inaccurate or not up to the task of ensuring the data integrity of smart contracts, financial losses can occur, and trust in the system will be lost.
The authors conducted a test on a larger group of smart contracts picked from Truffle-tests-for-free. The goal was to form a baseline for mutation testing. The goal of the test and the results that were obtained is to assist developers in creating a mutation tool for the programming language Solidity so that tests can be greatly improved.
This article helped me to understand how the current checks and balances in the smart contract system operate and how much more work needs to be done to ensure their integrity. I would agree on the need for more effective development level tools.
Kim, M., Hilton, B., Burks, Z. and Reyes, J., Integrating Blockchain, Smart Contract-Tokens, and IoT to Design a Food Traceability Solution, 2018 IEEE 9th Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON), Vancouver, BC, 2018, pp. 335-340. doi: 10.1109/IEMCON.2018.8615007, https://ieeexplore.ieee.org/document/8615007
...