CC-SolBMC: Condition Coverage Analysis for Smart Contracts Using Solidity Bounded Model Checker.

Sangharatna Godboley, P. Radha Krishna

Browse the full ENASE paper archive.