Boosted Symbolic Execution for Software Reliability and SecurityDate: November 18, 2021The main research topic I am quite interested in during my PhD study in SMU (see more details in slides).Share on Twitter Facebook LinkedIn
