@inproceedings{MaalejW25,
  author       = {Afef Jmal Ma{\^{a}}lej and
                  Achraf Weli},
  editor       = {Mike Mannion and
                  Tomi M{\"{a}}nnist{\"{o}} and
                  Leszek A. Maciaszek},
  title        = {Automated Testing of Tezos Blockchain-Oriented Software},
  booktitle    = {Proceedings of the 20th International Conference on Evaluation of
                  Novel Approaches to Software Engineering, {ENASE} 2025, Porto, Portugal,
                  April 4-6, 2025},
  pages        = {541--548},
  publisher    = {{SCITEPRESS}},
  year         = {2025},
  url          = {https://doi.org/10.5220/0013291000003928},
  doi          = {10.5220/0013291000003928},
  biburl       = {https://dblp.org/rec/conf/enase/MaalejW25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}