Concolic testing is a test generation technique which works effectively by integrating random
testing generation and symbolic execution. Existing concolic testing engines focus on …

Concolic testing has been very successful in automatically generating test inputs for
programs. However one of its major limitations is path-explosion that limits the generation of …

Database applications are built using two different programming language constructs: one
that controls the behavior of the application, also referred to as the host language; and the …

Concolic testing is a software testing technique for generating concrete inputs of programs to
increase code coverage and has been developed for years. For programming languages …

Concolic testing is a software testing technique combining concrete execution of a program
(given specific input, along specific paths) with symbolic execution (generating new test …

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 …

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 is an automatic testing technique which combines concrete execution and
symbolic execution together. Concolic testing only focuses on programs under test, and …

Current industrial testing practices often generate test cases in a manual manner, which
degrades both the effectiveness and efficiency of testing. To alleviate this problem, concolic …

Conventional concolic testing has been used to provide high coverage of paths in statically
typed languages. While it has also been applied in the context of JavaScript (JS) programs …