loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Authors: Sangharatna Godboley and P. Krishna

Affiliation: NITMiner Technologies, Department of Computer Science and Engineering, National Institute of Technology, Warangal, Telangana, India

Keyword(s): Smart Contract, Bounded Model Checker, Condition Coverage, Solidity Compiler.

Abstract: Advances in blockchain technologies enable society toward trust-based applications. Smart contracts are the scripts holding the properties to perform the activities in Blockchain. Smart contracts are prepared between the parties to hold their requirements and promises. If the deal held by a smart contract is huge and expensive, then there is a high chance of attracting issues and loss of assets. This necessitates the verification and testing of a smart contract. In this paper, we demonstrate an approach for generating test cases to satisfy the condition coverage of smart contracts using a solidity-bounded model checker. We show the annotation of the original smart contract as per the condition coverage specification and drive the bounded model checker to prove the feasibility of the asserted properties. Finally, we collect all feasible targets and show the condition coverage score. Also, the proposed approach generates test input values for each feasible atomic condition. The approac h presented has been tested with 70 smart contracts, resulting in 57.14% of contracts with good condition coverage scores. Our work can be utilized to certify any smart contract to check whether the Optimal or Maximal condition coverage is achieved or not. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 74.48.170.251

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Godboley, S. and Krishna, P. (2024). CC-SolBMC: Condition Coverage Analysis for Smart Contracts Using Solidity Bounded Model Checker. In Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE; ISBN 978-989-758-696-5; ISSN 2184-4895, SciTePress, pages 387-395. DOI: 10.5220/0012627200003687

@conference{enase24,
author={Sangharatna Godboley and P. Krishna},
title={CC-SolBMC: Condition Coverage Analysis for Smart Contracts Using Solidity Bounded Model Checker},
booktitle={Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE},
year={2024},
pages={387-395},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012627200003687},
isbn={978-989-758-696-5},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
TI - CC-SolBMC: Condition Coverage Analysis for Smart Contracts Using Solidity Bounded Model Checker
SN - 978-989-758-696-5
IS - 2184-4895
AU - Godboley, S.
AU - Krishna, P.
PY - 2024
SP - 387
EP - 395
DO - 10.5220/0012627200003687
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: [email protected]

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic