2022
Dependability Analysis and Verification Technology of Artificial Intelligence Software.
[DOI]
Yaming Zhang
,
Lijin Wu
,
Xiaomei Shen
,
Zehua Shen
,
Tongli Tang
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022