Automated Testing of Tezos Blockchain-Oriented Software. - Afef Jmal Maâlej; Achraf Weli (ENASE, 2025)