CATANA: Replay Testing for the Ethereum Blockchain

M Barboni, GD Angelis, A Morichetta… - … Conference on Testing …, 2023 - Springer
Blockchain technology is increasingly being adopted in various domains where the
immutability of recorded information can foster trust among stakeholders. However …

Mutation Testing of Smart Contracts As a Service

M Barboni, A Morichetta, A Polini, S Banescu… - … Conference on the …, 2024 - Springer
Smart contracts are self-executing programs that operate on a blockchain. Due to their
complex and specialized nature, smart contracts often undergo auditing by independent …

Test Case Generation for Cross-Blockchain Smart Contract

J Gong, S Ji, P Zhang - 2023 30th Asia-Pacific Software …, 2023 - ieeexplore.ieee.org
With the development of blockchain technology, an increasing number of users are adopting
cross-blockchain smart contracts, which necessitates effective testing methods due to digital …

A Survey of Mutation Based Testing Adequacy Study on Smart Contract

H Chen, C Zhu, L Zhang, Y Zhao… - 2024 11th International …, 2024 - ieeexplore.ieee.org
Smart Contract, as a vital component of blockchain technology, significantly enhances
transaction efficiency and transparency by automatically executing, controlling, or …

O USO DO RADIER COMO SOLUÇÃO CONSTRUTIVA DE FUNDAÇÃO PARA A CONSTRUÇÃO DE UMA TORRE TELEFÔNICA NA CIDADE DE MANAUS-AM …

E dos Santos Lima, WP Miranda… - REVISTA …, 2024 - ojs.focopublicacoes.com.br
A fundação de qualquer obra é uma base sólida e resistente que sustenta toda a estrutura
acima dela. Ela distribui o peso e as cargas das edificações de maneira uniforme para o …

[PDF][PDF] Effective Test Case Generation: A Harmony Search Approach with Mutation Analysis

H Kumar, V Saxena - researchgate.net
This paper introduces a novel approach to test case generation by integrating the Harmony
Search (HS) algorithm with mutation analysis. Leveraging the adaptive and explorative …