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 …

JavaScript (JS) has evolved into a versatile and popular programming language for not only
the web, but also a wide range of server-side and client-side applications. Effective, efficient …

JavaScript has become the most popular programming language for web front-end
development. With such popularity, there is a great demand for thorough testing of client …

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 …

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 …

In this paper, we present crete, a versatile binary-level concolic testing framework, which
features an open and highly extensible architecture allowing easy integration of concrete …

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 …

We describe a tool framework, called Jalangi, for dynamic analysis and concolic testing of
JavaScript programs. The framework is written in JavaScript and allows implementation of …

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 …