The history of symbolic testing becomes from early 70’s. Beside deep research, it was not possible to use symbolic execution in testing due to need of enormous (for that time) resources. Nowadays powerful SAT solver makes symbolic execution applicable in industrial scale software. However, symbolic execution techniques still have room for improving.
First research works: