This paper introduces a novel approach to scale symbolic execution---a program analysis
technique for systematic exploration of bounded execution paths---for test input generation …

Symbolic execution is a promising testing and analysis methodology. It systematically
explores a program's execution space and can generate test cases with high coverage. One …

This paper introduces memoized symbolic execution (Memoise), a new approach for more
efficient application of forward symbolic execution, which is a well-studied technique for …

Symbolic execution has proven to be a practical technique for building automated test case
generation and bug finding tools. Nevertheless, due to state explosion, these tools still …

Symbolic execution is a powerful program analysis technique which allows executing
programs with symbolic inputs. Modern symbolic execution tools use a concrete modeling of …

Symbolic execution is a powerful technique for systematically exploring the paths of a
program and generating the corresponding test inputs. However, its practical usage is often …

Manual software testing is laborious and prone to human error. Yet, it is the most popular
method for quality assurance. Automating the test-case generation promises better …

Scalability is a major challenge in symbolic execution. The large number of paths that need
to be explored and the large size of the constraints that must be carried often compromise …

Ranged symbolic execution has been proposed as a way of scaling symbolic execution by
splitting the task of path exploration onto several workers running in parallel. The split is …

Symbolic execution is a well-known program analysis technique which represents program
inputs with symbolic values instead of concrete, initialized, data and executes the program …