A semantic testing suite