Kai Cong

Symbolic Execution of Virtual Devices

Kai Cong, Fei Xie, Lei Li · 2013 · 32 citations

Computing, Computer Science, Computer Systems +14

Challenges and opportunities with concolic testing

Raghudeep Kannavara, Christopher Havlicek, Bo Chen et al. · 2015 · 30 citations

Computing, Computer Engineering, Computer Science +8

Automatic fault injection for driver robustness testing

Kai Cong, Lei Li, Zhenkun Yang et al. · 2015 · 28 citations

Computing, Computer Engineering, Computer Science +13

Automatic concolic test generation with virtual prototypes for post-silicon validation

Kai Cong, Fei Xie, Lei Li · 2013 · 21 citations

Computing, Computer Engineering, Computer Systems +13

Post-silicon conformance checking with virtual prototypes

Lei Li, Fei Xie, Kai Cong · 2013 · 20 citations

Engineering, Computer Engineering, Semiconductor Devices +13