Camera ready version of Reproducing Bugs in Video Games using Genetic Algorithms, to be published at IEEE GMAX’20