@inproceedings{DBLP:conf/crisis/HammamiLM22,
  author       = {Mohamed Amin Hammami and
                  Mariam Lahami and
                  Afef Jmal Ma{\^{a}}lej},
  title        = {Towards a Dynamic Testing Approach for Checking the Correctness of
                  Ethereum Smart Contracts},
  booktitle    = {Risks and Security of Internet and Systems - 17th International Conference,
                  CRiSIS 2022, Sousse, Tunisia, December 7-9, 2022, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13857},
  pages        = {85--100},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-31108-6\_7},
  doi          = {10.1007/978-3-031-31108-6\_7},
  timestamp    = {Sat, 30 Sep 2023 09:37:49 +0200}
}