Aslantest Testplan

This following document outlines the testing plan for the Aslantest system,which is a symbolic execution tool for the formal specification languageAslan. Specific approaches are outlined for unit, integration, system andregression testing and some specific test cases are provided.