autotests with GUARD and ZEUS