Not registered as user yet

Name: Kenli Li

Affiliation: College of Information Science and Engineering, National Supercomputing Center in Changsha, Hunan University

Contributions

ASE 2020Author of Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once within the Research Papers-track