Login / Signup

ParSE: Efficient Detection of Smart Contract Vulnerabilities via Parallel and Simplified Symbolic Execution.

Long HeXiangfu ZhaoYichen Wang
Published in: ICSE Companion (2024)
Keyphrases
  • symbolic execution
  • test data generation
  • distributed systems
  • static analysis
  • multi agent systems