Automated Testing of Tezos Blockchain-Oriented Software.

Afef Jmal Malej, Achraf Weli

Browse the full ENASE paper archive.