On Symbolic Execution Software Testing

Software engineering is becoming more concerned with the development of tools to facilitate software development. This concern comes at a time when there is also an increasing interest in more formal methods of software development and verification. Symbolic execution is one of the major components of these developments as it can be used to aid software testing and program proving. This work introduces a review of symbolic execution testing, its applications, and the previously developed symbolic execution tools. Also, it describes the problems that face symbolic execution testing.