January 1, 2024Ā· Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering
conference-paper
Open access
CC-SolBMC: Condition Coverage Analysis for Smart Contracts Using Solidity Bounded Model Checker
Abstract
No abstract metadata is available for this record.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.