Symbolic execution has proven to be a practical technique for building automated test case
generation and bug finding tools. Nevertheless, due to state explosion, these tools still …

Symbolic execution is a promising testing and analysis methodology. It systematically
explores a program's execution space and can generate test cases with high coverage. One …

Symbolic execution is a powerful static program analysis technique that has been used for
the automated generation of test inputs. Directed Automated Random Testing (DART) is a …

We present results for the" Impact Project Focus Area" on the topic of symbolic execution as
used in software testing. Symbolic execution is a program analysis technique introduced in …

Dynamic symbolic execution (DSE) has been proposed to effectively generate test inputs for
real-world programs. Unfortunately, DSE techniques do not scale well for large realistic …

Symbolic execution is a powerful automated technique for generating test cases. Its goal is
to achieve high coverage of software. One major obstacle in adopting the technique in …

This paper introduces memoized symbolic execution (Memoise), a new approach for more
efficient application of forward symbolic execution, which is a well-studied technique for …

Symbolic Pathfinder (SPF) combines symbolic execution with model checking and constraint
solving for automated test case generation and error detection in Java programs with …

One of the main challenges of dynamic symbolic execution—an automated program
analysis technique which has been successfully employed to test a variety of software—is …

Despite the recent improvements in automatic test case generation, handling complex data
structures as test inputs is still an open problem. Search-based approaches can generate …