Q1. Explain the notions of soundness and completeness explained in this paper. Why do unsoundness and incompleteness arise? Give as many possible reasons as you can think of with examples, if possible.
[3 points]


Q2. What do you think are the next research steps that could enable application of higher-order test generation in dynamic symbolic execution systems? 
[2 point]