Prof. Sarfraz Khurshid of Texas ECE has been named a recipient of the 2021 European Joint Conferences on Theory and Practice of Software (ETAPS) Test of Time Award for his paper on "Generalized Symbolic Execution for Model Checking and Testing."