“…In the last decades, various automated testing techniques have been developed and extensively studied [3,10,16,23,32]. Search-based testing (SBT) [2,11,12,18] has shown its effectiveness. However, SBT lacks the ability to reason, hence severely hampering its ability to handle the vastness and the complexity of typical games' interaction space.…”