Sign in

An Improved Vulnerability Detection System of Smart Contracts Based on Symbolic Execution.

Yao YaoHui LiXin YangYiwang Le
Published in: Big Data (2022)
Keyphrases
  • symbolic execution
  • static analysis
  • test generation
  • test data generation
  • genetic algorithm
  • artificial intelligence
  • test cases