Login / Signup
Kangkang Bu
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Automated Verification
Reactive Systems
Test Data Generation
Model Checking
Top Venues
COCOON
</>
Publications
</>
Zhenhua Duan
,
Kangkang Bu
,
Cong Tian
,
Nan Zhang
Model Checking MSVL Programs Based on Dynamic Symbolic Execution.
COCOON
(2015)