The following publications are possibly variants of this publication:
- Adversarial robustness of deep neural networks: A survey from a formal verification perspectiveMeng, Mark Huasong, Bai, Guangdong, Teo, Sin Gee, Hou, Zhe, Xiao, Yan, Lin, Yun, Dong, Jin Song. IEEE Transactions on Dependable and Secure Computing, , 2022.
- Multiple-entry testing of Android applications by constructing activity launching contextsJiwei Yan, Hao Liu, Linjie Pan, Jun Yan 0009, Jian Zhang 0001, Bin Liang. ICSE 2020: 457-468 [doi]
- Layout-aware scan chain reorder for launch-off-shift transition test coverageSying-Jyan Wang, Kuo-Lin Peng, Kuang-Cyun Hsiao, Katherine Shu-Min Li. todaes, 13(4), 2008. [doi]