Further reading
Here is a list of useful resources that will enhance your knowledge about the topics covered in this chapter:
- Programming Z3: http://theory.stanford.edu/~nikolaj/programmingz3.html
- King, J.C. 1976. 'Symbolic execution and program testing'. Communications of the ACM. 19(7) (July 1976), 385–394. DOI: https://doi.org/10.1145/360248.360252.
- Khurshid S., PĂsĂreanu C.S., Visser W. (2003). 'Generalized Symbolic Execution for Model Checking and Testing'. In: Garavel H., Hatcliff J. (eds) Tools and Algorithms for the Construction and Analysis of Systems. (TACAS). Lecture in Notes in Computer Science, vol 2619. Berlin, Heidelberg: Springer. DOI: https://doi.org/10.1007/3-540-36577-X_40.