Runtime Verification and Vulnerability Testing of Smart Contracts.

Misha Abraham K. P. Jevitha

Published in: ICACDS (2) (2019)

Keyphrases

formal verification
test generation
symbolic execution
penetration testing
supply chain
model checking
risk assessment
database
test cases
verification method
data sets
databases
context aware
formal analysis
concurrent systems