Testing formulae for GNOME 3