Rocket: A System-Level Fuzz-Testing Framework for the XRPL Consensus Algorithm
This program is tentative and subject to change.
Byzantine fault tolerant algorithms are critical for achieving consistency and reliability in distributed systems, especially in the presence of faults or adversarial behavior. The consensus algorithm used by the XRP Ledger falls into this category. In practice, the implementation of these algorithms is prone to errors, which can lead to undesired behavior in the system. This paper introduces Rocket, a fuzz-testing framework designed for the XRPL consensus algorithm. Rocket enables researchers and developers to automatically inject network and process faults into a locally simulated network of XRPL validator nodes to test if the system behaves as expected. This technique has previously been shown to be effective in finding implementation errors. Rocket has been designed to focus on extensibility and ease of use, enabling users to run complex test scenarios with minimal setup.
This program is tentative and subject to change.
Thu 3 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:30 | Testing Tools and Data ShowcaseTesting Tools and Data Showcase at Room A1 Chair(s): Domenico Bianculli University of Luxembourg | ||
11:00 15mTalk | Rocket: A System-Level Fuzz-Testing Framework for the XRPL Consensus Algorithm Testing Tools and Data Showcase Wishaal Kanhai , Ivar van Loon , Yuraj Mangalgi , Thijs van der Valk , Lucas Witte Delft University of Technology, Annibale Panichella Delft University of Technology, Mitchell Olsthoorn Delft University of Technology, Burcu Kulahcioglu Ozkan Delft University of Technology | ||
11:15 15mTalk | RESTgym: A Flexible Infrastructure for Empirical Assessment of Automated REST API Testing Tools Testing Tools and Data Showcase Davide Corradini University of Luxembourg, Michele Pasqua University of Verona, Mariano Ceccato University of Verona | ||
11:30 15mTalk | ViMoTest: A Tool to Specify ViewModel-based GUI Test Scenarios using Projectional Editing Testing Tools and Data Showcase Mario Fuksa University of Stuttgart, Sandro Speth Institute of Software Engineering, University of Stuttgart, Steffen Becker University of Stuttgart | ||
11:45 15mTalk | E2E-Loader: A Tool to Generate Performance Tests from End-to-End GUI-level Tests Testing Tools and Data Showcase Sergio Di Meglio Università degli Studi di Napoli Federico II, Luigi Libero Lucio Starace Università degli Studi di Napoli Federico II, Sergio Di Martino Università degli Studi di Napoli Federico II | ||
12:00 15mTalk | AMBER: AI-enabled Java Microbenchmark Harness Testing Tools and Data Showcase Antonio Trovato University of Salerno, Luca Traini University of L'Aquila, Federico Di Menna University of L'Aquila, Dario Di Nucci University of Salerno Pre-print | ||
12:15 15mTalk | Codehacks: A Dataset of Adversarial Tests For Competitive Programming Problems Obtained From Codeforces Testing Tools and Data Showcase Max Hort Simula Research Laboratory, Leon Moonen Simula Research Laboratory and BI Norwegian Business School | ||