Boosted Symbolic Execution for Software Reliability and Security
Talk, Qualifying Exam, SMU, Online (ZOOM)
The main research topic I am quite interested in during my PhD study in SMU (see more details in slides).
Talk, Qualifying Exam, SMU, Online (ZOOM)
The main research topic I am quite interested in during my PhD study in SMU (see more details in slides).