Applications of symbolic evaluation
Journal of Systems and Software
Symbolic execution systems—a review
Software Engineering Journal
An experimental evaluation of a symbolic execution system
Software Engineering Journal
An Introduction to Proving the Correctness of Programs
ACM Computing Surveys (CSUR)
Art of Software Testing
Software Testing
SELECT—a formal system for testing and debugging programs by symbolic execution
Proceedings of the international conference on Reliable software
Mutation based test case generation via a path selection strategy
Information and Software Technology
Hi-index | 0.00 |
The problem of test data generation in software testing is well referenced. Of the various methods used in the literature, symbolic execution appears to be a promising approach. It can be used either for software verification or to facilitate the automated test data generation process. A number of symbolic systems that employ symbolic execution to generate test data have already been constructed. However, these systems analyze programs written in specific programming languages. Thus, although some of them use an internal representation for performing symbolic execution, each one can only deal with programs in a single language. In this paper a script language called SYMEXLAN is presented. It can be adapted in order to construct a general symbolic execution testing system independent of the language in which the software under test is written.