Fei Peng: Forced Execution for Security Analysis of Software Without Source Code. Purdue University, USA 2021