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 has proven itself a successful technique for automatically testing
applications. However, it suffers from the state explosion problem, where execution of the …

Test Generation Using Symbolic Execution Page 1 Test Generation Using Symbolic Execution
Patrice Godefroid Microsoft Research pg@microsoft.com Abstract This paper presents a short …

Concolic testing automates test input generation by combining the concrete and symbolic
(concolic) execution of the code under test. Traditional test input generation techniques use …

Concolic testing generates test data by combining concrete program execution and symbolic
execution to achieve high test coverage. CREST is a representative open-source test tool …

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 …

Dynamic symbolic execution or concolic testing has been proposed recently to effectively
generate test inputs for real-world programs. Unfortunately, dynamic symbolic execution …

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 …

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 testing is a test generation technique which works effectively by integrating random
testing generation and symbolic execution. Existing concolic testing engines focus on …