Symbolic execution is a well-known software testing technique that evaluates how a
program runs when considering a symbolic input, ie, an input that can initially assume any …

Concolic testing is a software testing technique, which improves the scalability of symbolic
execution by allowing efficient concretization of symbolic expressions. Concretization …

Correctness of software has become increasingly important and difficult as programs
become more complicated and have more impact on our day-to-day lives. There are two …

Concolic execution is a dynamic twist of symbolic execution designed with scalability in
mind. Recent concolic executors heavily rely on program instrumentation to achieve such …

For statically typed languages, dynamic symbolic execution (also called concolic testing) is a
mature approach to automated test generation. However, extending it to dynamic languages …

Testing remains an important aspect of checking software correctness. Manually constructed
test suites are one option: they typically complete quickly, but they require human …

Symbolic execution for software testing has witnessed renewed interest in the recent years
due to its ability to generate high-coverage test suites and find deep errors in software …

In this talk, I will talk about the recent advances and challenges in concolic testing and
symbolic execution. Concolic testing, also known as directed automated random testing …

Symbolic execution is an automated technique for program testing that has recently become
practical, thanks to advances in constraint solvers. Generally speaking, a symbolic executor …

Symbolic execution is a powerful systematic technique for checking programs, which has
received a lot of research attention during the last decade. In practice however, the …