Evolutionary Approach for Concurrency Testing of Ripple Blockchain Consensus Algorithm. - Martijn van Meerten; Burcu Kulahcioglu Ozkan; Annibale Panichella (ICSE-SEIP, 2023)