Recently, concolic testing has drawn a lot of attention from the research community as a
practical solution of overcoming limitations of manual test case generation. CONBOL, a …

Current industrial testing practices often build test cases in a manual manner, which is slow
and ineffective. To alleviate this problem, concolic testing generates test cases that can …

Although testing is a standard method for improving the quality of software, conventional
testing methods often fail to detect faults. Concolic testing attempts to remedy this by …

Current testing practice in industry is often ineffective and slow to detect bugs, since most
projects utilize manually generated test cases. Concolic testing alleviates this problem by …

Automatic testing, in particular test input generation, has become increasingly popular in the
research community over the past ten years. In this paper, we conduct a survey on existing …

We present a technique to automatically generate search heuristics for concolic testing. A
key challenge in concolic testing is how to effectively explore the program's execution paths …

Concolic testing is a powerful technique for vulnerability detection. Current concolic testing
tools usually randomly select one well-formed concrete input to start their workflow, then …

We present template-guided concolic testing, a new technique for effectively reducing the
search space in concolic testing. Addressing the path-explosion problem has been a …

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

As smartphones become popular, manufacturers such as Samsung Electronics are
developing smartphones with rich functionality such as a camera and photo editing quickly …