Impact of Missing Passive Microwave Sensors on Multi-Satellite Precipitation Retrieval Algorithm. - Bin Yong; Bo Chen 008; Yang Hong 001; Jonathan J. Gourley; Zhe Li 014 (Remote. Sens., 2015)

Error-Component Analysis of TRMM-Based Multi-Satellite Precipitation Estimates over Mainland China. - Bin Yong; Bo Chen 008; Yudong Tian; Zhongbo Yu; Yang Hong 001 (Remote. Sens., 2016)

CRETE: A Versatile Binary-Level Concolic Testing Framework. - Bo Chen 008; Christopher Havlicek; Zhenkun Yang; Kai Cong; Raghudeep Kannavara; Fei Xie 004 (FASE, 2018)

End-to-End Concolic Testing for Hardware/Software Co-Validation. - Bo Chen 008; Kai Cong; Zhenkun Yang; Qin Wang; Jialu Wang; Li Lei; Fei Xie 004 (ICESS, 2019)

Hardware/Software Co-monitoring. - Li Lei; Kai Cong; Zhenkun Yang; Bo Chen 008; Fei Xie 004 (CoRR, 2019)

Concolic Execution of NMap Scripts for Honeyfarm Generation. - Zhe Li 014; Bo Chen 008; Wu-chang Feng; Fei Xie 004 (MTD@CCS, 2021)