Survey of case tools