Macsyma Expert System
Figure 1
Dynamic Symbolic Execution Cristian Cadar Department of Computing Imperial College London Computer Aided Verification (CAV13) St Petersburg, 15 July 2013.
Symbolic Execution And KLEE
Symbolic Execution Amal Khalil & Juergen Dingel CISC836: Models in Software Development: Methods, Techniques, and Tools Winter 2015.
Technology of Test Case Generation Levi Lúcio University of Geneva Marko Samer Vienna University of Technology.
1 Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan.