Abstract: Test data generation is one of the hardest tasks in the software life cycle. Many testing methods try to answer this question, all in a heuristic way. Symbolic execution is one of such software testing methods that can be used either towards program evaluation or in order to assist the automated test data generation process. A number of systems employing symbolic execution for test data generation have already been built. In this paper, a new symbolic execution system is presented, which can be used regardless of the language in which the program under test is written. The system is called VOLCANO and analyzes scripts written in SYMXEXLAN, a script language that can be either an intermediate representation for many languages or a symbolic execution language that facilitates the symbolic execution process.