Testing published Kase specification