FormaliSE 2026
Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026
Heyuan Shi

Registered user since Sun 7 Aug 2022

Name:Heyuan Shi
Bio:

Heyuan Shi received the B.S. degree in School of Information Science and Engineering, Central South University, Changsha, China, in 2015, and the Ph.D. degree in School of Software, Tsinghua University, Beijing, China, in 2020. He is currently an Associate Professor with the School of Electronic Information, Central South University, Changsha, China. His current research interests include the software quality assurance.

Country:China
Affiliation:Central South University
Research interests:Kernel fuzzing, software quality assurance, software testing

Contributions

Show activities from other conferences

Using general profile