ObjSim: Efficient testing of cyber-physical systems

by SUN, Jun, YANG, Zijiang
Published 2020

LawBreaker: An approach for specifying traffic laws and fuzzing autonomous vehicles

by SUN, Yang, POSKITT, Christopher M., SUN, Jun, CHEN, Yuqi, YANG, Zijiang
Published 2022

sCompile: Critical path identification and analysis for smart contracts

by CHANG, Jialiang, GAO, Bo, XIAO, Hao, SUN, Jun, CAI, Yan, YANG, Zijiang
Published 2019

Testing automated driving systems by breaking many laws efficiently

by ZHANG, Xiaodong, ZHAO, Wei, SUN, Yang, SUN, Jun, SHEN, Yulong, DONG, Xuewen, YANG, Zijiang
Published 2023

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

Specification-based autonomous driving system testing

by ZHOU, Yuan, SUN, Yang, TANG, Yun, CHEN, Yuqi, SUN, Jun, POSKITT, Christopher M., LIU, Yang, YANG, Zijiang
Published 2023

Enhancement of photogenerated electron transport in dye-sensitized solar cells with introduction of a reduced graphene oxide-TiO2 Junction

by Song, Junling, Yin, Zongyou, Yang, Zijiang, Amaladass, Pitchamuthu, Wu, Shixin, Ye, Jun, Zhao, Yang, Deng, Wei-Qiao, Zhang, Hua, Liu, Xue-Wei
Published 2013