Vampire automated tests