All Questions
Tagged with se.software-engineering fl.formal-languages
1 question
2
votes
2
answers
819
views
Help in understanding Symbolic Execution
I am an undergraduate CS student and currently reading on software security, particularly on static analysis of programs. I am particularly interested in understanding Symbolic Execution - an ...
- 121