Ecological conservation- and economic development-based multiobjective land-use optimization: Case study of a rapidly developing city in central China

by ZHANG, Wenting, WANG, Haijun, CAO, Kai, HE, Sanwei
Published 2019

Factor analysis for aerosol optical depth and its prediction from the perspective of land-use change

by ZHANG, Wenting, HE, Qingqing, WANG, Haijun, CAO, Kai, HE, Sanwei
Published 2018

DiffChaser: Detecting disagreements for deep neural networks

by XIE, Xiaofei, MA, Lei, WANG, Haijun, LI, Yuekang, LIU, Yang, LI, Xiaohong
Published 2019

Break the dead end of dynamic slicing: localizing data and control omission bug

by LIN, Yun, SUN, Jun, TRAN, Lyly, BAI, Guangdong, WANG, Haijun, DONG, Jin Song
Published 2018

xFuzz: Machine learning guided cross-contract fuzzing

by XUE, Yinxing, YE, Jiaming, ZHANG, Wei, SUN, Jun, MA, Lei, WANG, Haijun, ZHAO, Jianjun
Published 2024

Cerebro: Context-aware adaptive fuzzing for effective vulnerability detection

by LI, Yuekang, XUE, Yinxing, CHEN, Hongxu, WU, Xiuheng, ZHANG, Cen, XIE, Xiaofei, WANG, Haijun, LIU, Yang
Published 2019

Explaining regressions via alignment slicing and mending

by WANG, Haijun, LIN, Yun, YANG, Zijiang, SUN, Jun, LIU, Yang, DONG, Jinsong, ZHENG, Qinghua, LIU, Ting
Published 2019

Locating vulnerabilities in binaries via memory layout recovering

by WANG, Haijun, XIE, Xiaofei, LIN, Shang-Wei, LIN, Yun, LI, Yuekang, QIN, Shengchao, LIU, Yang, LIU, Ting
Published 2019

Typestate-guided fuzzer for discovering use-after-free vulnerabilities

by WANG, Haijun, XIE, Xiaofei, LI, Yi, WEN, Cheng, LI, Yuekang, LIU, Yang, QIN, Shengchao, CHEN, Hongxu, SUI, Yulei
Published 2020

MemLock: Memory usage guided fuzzing

by WEN, Cheng, WANG, Haijun, LI, Yuekang, QIN, Shengchao, LIU, Yang, XU, Zhiwu, CHEN, Hongxu, Xiaofei XIE, PU, Geguang, LIU, Ting
Published 2020