Kangkang Bu

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Automated Verification

Reactive Systems

Test Data Generation

Top Venues

Publications

Zhenhua Duan, Kangkang Bu, Cong Tian, Nan Zhang
Model Checking MSVL Programs Based on Dynamic Symbolic Execution. COCOON (2015)