Describir: Automated database applications testing