SmartMuVerf: A Mutant Verifier for Smart Contracts Topics: Quality Assurance; Reliability and Security; Safety, Security and Compliance; Software and System Testing In Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 346-353, 2023 , Prague, Czech Republic