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 …

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 …

A challenging problem in symbolic execution is to solve complex mathematical constraints
such as constraints that include floating-point variables and transcendental functions. The …

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 …

Constraint solving is an integral part of symbolic execution, as most symbolic execution
techniques rely heavily on an underlying constraint solver. In fact, the performance of the …

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 …

Symbolic execution is an essential approach for automated test case generation. However,
the approach is generally not scalable to large programs. One critical reason is that the …

Path explosion and constraint solving are two challenges to symbolic execution's scalability.
Symbolic execution explores the program's path space with a searching strategy and …

Despite significant recent advances, the effectiveness of symbolic execution is limited when
used to test complex, real-world software. One of the main scalability challenges is related to …

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 …