Symbolic execution  

Mila Kisialiova
New Member

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:

  1. SELECT—a formal system for testing and debugging programs by symbolic execution
  2. Symbolic Testing and the DISSECT Symbolic Evaluation System
  3. Symbolic execution and program testing
Posted : 09/12/2018 9:30 pm

Please Login or Register