Need research ideas? Join us to discuss the following questions.
How do we handle loops in symbolic execution?
Existing studies on symbolic execution overwhelmingly focus on integer programs. How do we effectively handle other types such as String and Heap?
How do we effectively combine symbolic execution with alternative techniques such as fuzzing and abstract interpretation?