In the context of test data generation, symbolic execution gets more attention as computing
power increases continuously. Experiments show that test generation tools based on …

Symbolic execution is an effective but expensive technique for automated test generation.
Over the years, a large number of refined symbolic execution techniques have been …

Dynamic symbolic execution has been shown an effective technique for automated test input
generation. However, its scalability is limited due to the combinatorial explosion of the path …

Dynamic symbolic execution has been shown to be an effective technique for automated test
input generation. When applied to large-scale and complex programs, its scalability …

Test Generation Using Symbolic Execution Page 1 Test Generation Using Symbolic Execution
Patrice Godefroid Microsoft Research pg@microsoft.com Abstract This paper presents a short …

Scaling symbolic execution to large programs or programs with complex inputs remains
difficult due to path explosion and complex constraints, as well as external method calls …

Symbolic execution is emerging as a powerful technique for generating test inputs
systematically to achieve exhaustive path coverage of a bounded depth. However, its …

With the advent of advanced program analysis and constraint solving techniques, several
test generation tools use variants of symbolic execution. Symbolic techniques have been …

Symbolic execution is a well established method for test input generation. Despite of having
achieved tremendous success over numerical domains, existing symbolic execution …

Techniques for automatically generating test input values by symbolic execution have been
studied. However, the existing symbolic execution tool has a problem that it is difficult to …