Automated Runtime Verification of Security for E-Commerce Smart Contracts - Liu, Yang; Zhang, Shengjie; Ma, Yan (Journal of theoretical and applied electronic commerce research, 2025)
Keywords: Accuracy; Automation; Behavior; Blockchain; Contracts; Design; e-commerce; Efficiency; Electronic commerce; Genetic algorithms; Learning; passive learning; Run time (computers); runtime verification; Security; smart contract; Teaching methods; Verification