The security testing of Ethereum smart contracts has become increasingly important with the rise of decentralized applications (DApps) and blockchain technology. This systematic literature review (SLR) aims to provide a comprehensive overview of the state-of-the-art techniques, methodologies, tools, and challenges in the security testing of Ethereum smart contracts. By synthesizing and analyzing existing research articles, conference papers, and other relevant sources, this SLR identifies common trends, gaps, and areas for future research in this domain. The review covers various aspects of security testing, including vulnerability detection, testing frameworks, automated analysis tools, and best practices. In addition, it explores the impact of security vulnerabilities on smart contract ecosystems and proposes recommendations to improve the effectiveness and efficiency of security testing processes. This SLR serves as a valuable resource for researchers, practitioners, and developers interested in improving the security and reliability of Ethereum smart contracts.

Web services compositions are still considered as a major player in the implementation of distributed architectures. Such applications must provide services to hundreds of users simultaneously. In this context, load testing of these applications seems an important task in order to detect problems under elevated loads. For this purpose, we proposed a distributed test architecture aiming to study the behavior of WS-BPEL compositions considering load conditions. The developed test approach is performed based on two steps. The first one is to run a load test during which the composition under test is monitored and performance data are recorded. The second step is to analyze the resulting test logs in order to identify problems under load. For that, we proposed a classification of these problems according to both their natures and causes. Finally, we concretized our solution by implementing a testing tool (WSCLim) and we evaluated it in the context of a Travel Agency case study.

We propose in this paper a new approach for conformance testing of WS-BPEL compositions under various load conditions. It is based on Timed Automata as model for testing WS-BPEL implementations, a distributed testing framework that automatically generates and executes parallel tests online, and an algorithm for online test generation and execution. We also implemented a part of our solution in the form of a prototype tool named WSCCT for WS-BPEL compositions conformance testing.