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 …

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 …

Generating test inputs from source code is a topic that is starting to transfer from academic
research to industrial application. Symbolic execution is one of the promising techniques for …

Dynamic symbolic execution is an important automated testing technique. Firstly, we
introduce the traditional symbolic execution and dynamic symbolic execution technology …

Symbolic execution is widely used in software test cases automatic generating, but itpsilas
hard to use it in embedded software testing, for embedded software is related to hardware …

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 …

In recent years several symbolic execution-based tools have been developed to
automatically select relevant test inputs from the source code of the system under test …

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 such …

This paper describes the path-based symbolic execution of programs in order to solve the
“path-storm” problem in traditional symbolic execution. Instead of using execution tree …

Dynamic Symbolic Execution (DSE) is a technique to automatically generate test inputs by
executing a program with concrete and symbolic values simultaneously. A key challenge in …