Login / Signup

SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models.

Sunbeom SoHakjoo Oh
Published in: ESEC/SIGSOFT FSE (2023)
Keyphrases
  • statistical models
  • statistical model
  • statistical modeling
  • parameter estimation
  • supply chain
  • bayesian networks
  • optical flow
  • higher order
  • maximum likelihood
  • statistical methods
  • exponential family
  • bayesian models