User-defined Sandbox Behavior for Dynamic Symbolic Execution

Code-based generation of unit tests is an active topic of research today. Numerous approaches were already presented addressing this in the last decades. One of the techniques is dynamic symbolic execution (DSE) that combines concrete executions with symbolic ones. The mature state of research in DSE allowed the technique to be transferred for industrial use. However, the complexity of software used in industrial practice have showed that DSE has to be improved in numerous areas. This includes handling dependencies to the environment of the unit under test. In this paper, we present a user-oriented approach that enables users to provide inputs constraints and effects for isolated environment dependencies in a parameterized sandbox. This sandbox collaborates with DSE, thus the user-defined behavior of the isolated dependencies are able to steer DSE in a desired way.