2020 Systems of Signals Generating and Processing in the Field of on Board Communications · 2020 · 11 citations · 8 references
ComputingComputer ScienceFormal MethodsMethod ValidationQuality AssuranceData ValidationProtocol VerificationSmart ContractsSoftware TestingSoftware ValidationVerificationBlockchain ApplicationsBlockchain CryptographyContract TestingDistributed Ledger ContractsSmart Contract TestingTesting StandardsTransaction Validation
Improving the quality of software that implements distributed ledger systems based on blockchain technology is an urgent task for the transport industry. In this article, we will look at tools to improve quality such as testing, validation, and validation. The paper lists a number of existing tools for testing and verifying blockchain systems and smart contracts, and also identifies the problem of the lack of an appropriate normative base and standards in this area.
8
Bug Characteristics in Blockchain Systems: A Large-Scale Empirical Study
Zhiyuan Wan, David Lo, Xin Xia · 2017 · 102 citations · Full text
Markov processes in blockchain systems
Quan‐Lin Li, Jing-Yu Ma, Yan-Xia Chang et al. · Computational Social Networks · 2019 · 61 citations · Full text