On structurally testing Java programs effectively
Proceedings of the 3rd international symposium on Principles and practice of programming in Java
An objective comparison of the cost effectiveness of three testing methods
Information and Software Technology
Towards automating the generation of mutation tests
Proceedings of the 5th Workshop on Automation of Software Test
Mutation based test case generation via a path selection strategy
Information and Software Technology
| Hi-index | 0.00 |
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.