Poster: VeriSol-MCE: Verification-Based Condition Coverage Analysis of Smart Contracts Using Model Checker Engines.

Sangharatna Godboley, P. Radha Krishna

Browse the full ICST paper archive.