… of symbolic execution called chopped symbolic execution that … symbolic execution to focus
on significant paths only. The skipped code is not trivially excluded from symbolic execution, …

… based parallel execution with chopped symbolic execution. We augment the original chopping
… multiple workers perform chopped symbolic execution in their allocated program regions. …

… of symbolic execution). The effectiveness of the chopped symbolic execution method in patch
… to automatically exclude functions for chopped symbolic execution in patch testing, using a …

… selection strategy that enables symbolic execution tools to efficiently … At each iteration, we
first run symbolic execution on a set of … , we run multiple symbolic execution instances with the …

… of symbolic execution). The effectiveness of the chopped symbolic execution method in patch
… to automatically exclude functions for chopped symbolic execution in patch testing, using a …

… symbolic execution by executing … Chopped symbolic execution is a method that aims to
address the path explosion problem and increase the efficiency of traditional symbolic execution…

… generate search heuristics for dynamic symbolic execution. A key challenge in dynamic
symbolic execution is how to effectively explore the program’s execution paths to achieve high …

… symbolic execution by maintaining only a small number of promising states. In practice,
symbolic execution … keeping promising states during symbolic execution. We identify promising …

… We evaluate our technique in three application scenarios: chopped symbolic execution,
symbolic pointer resolution, and write integrity testing. Our preliminary results show that the …

… However, symbolic execution is also known to suffer from … For example, symbolically
executing programs requires modeling … symbolic execution with concrete execution, focusing the …