Domain Project

We are proud to announce that our paper titled “Wielding Blockchain Transactions for Capture-Replay Testing of Upgradeable Smart Contracts” has been accepted for publication in ACM Transactions on Software Engineering and Methodology (TOSEM).

This article addresses the critical challenge of test suite augmentation: the process of generating new test cases to cover code segments that have been modified or were not adequately verified during the initial development phases. It introduces an innovative approach based on the concept of “equivalent programs.” Rather than focusing solely on the original source code, the proposed technique leverages various semantically equivalent versions of the same program to identify execution paths that might be missed by traditional methods. By utilizing “cross-coverage” among these variants, the method enhances existing test suites, significantly improving bug detection capabilities and ensuring greater software robustness.

This work aligns with the vision of the DOMAIN project, which seeks to manage the complexity of modern software systems through high-level abstractions and rigorous verification tools. The integration of advanced, automated testing techniques is essential for supporting the development of reliable software in heterogeneous computing environments, a core pillar of the research conducted by the consortium. The publication in TOSEM, a global benchmark for software engineering research, confirms the high scientific impact of the methodologies developed within the project.