Testing Smart Contracts Gets Smarter. - Erfan Andesta; Fathiyeh Faghih; Mahdi Fooladgar (CoRR, 2019)