Login / Signup
CC-SolBMC: Condition Coverage Analysis for Smart Contracts Using Solidity Bounded Model Checker.
Sangharatna Godboley
P. Radha Krishna
Published in:
ENASE (2024)
Keyphrases
</>
image analysis
model checking
artificial intelligence
evolutionary algorithm