Registered user since Tue 12 Apr 2022
Name:Rui Chen
Country:China
Affiliation:Beijing Institute of Control Engineering; Beijing Sunwise Information Technology
Research interests:Program Analysis, Software Testing, Formal Verificaition, Concurrency Bug Finding
Contributions
Using general profile