Practical Mutation Testing for Smart Contracts. - Joran J. Honig; Maarten H. Everts; Marieke Huisman (DPM/CBT@ESORICS, 2019)