Zhenya Zhang
Cited by
Cited by
Two-layered falsification of hybrid systems guided by monte carlo tree search
Z Zhang, G Ernst, S Sedwards, P Arcaini, I Hasuo
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
ARCH-COMP 2019 Category Report: Falsification.
G Ernst, P Arcaini, A Donze, G Fainekos, L Mathesen, G Pedrielli, ...
ARCH@ CPSIoTWeek, 129-140, 2019
Arch-comp 2020 category report: Falsification
G Ernst, P Arcaini, I Bennani, A Donze, G Fainekos, G Frehse, L Mathesen, ...
EPiC Series in Computing, 2020
Fast falsification of hybrid systems using probabilistically adaptive input
G Ernst, S Sedwards, Z Zhang, I Hasuo
Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019
A survey on automated driving system testing: Landscapes and trends
S Tang, Z Zhang, Y Zhang, J Zhou, Y Guo, S Liu, S Guo, YF Li, L Ma, ...
ACM Transactions on Software Engineering and Methodology 32 (5), 1-62, 2023
Multi-armed bandits for boolean connectives in hybrid system falsification
Z Zhang, I Hasuo, P Arcaini
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness
Z Zhang, D Lyu, P Arcaini, L Ma, I Hasuo, J Zhao
International Conference on Computer Aided Verification, 595-618, 2021
ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
G Ernst, P Arcaini, I Bennani, A Chandratre, A Donzé, G Fainekos, ...
ARCH@ ADHS, 133-152, 2021
Hybrid system falsification under (in) equality constraints via search space transformation
Z Zhang, P Arcaini, I Hasuo
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.
A Dokhanchi, S Yaghoubi, B Hoxha, G Fainekos, G Ernst, Z Zhang, ...
ARCH@ ADHS, 104-109, 2018
Constraining counterexamples in hybrid system falsification: Penalty-based approaches
Z Zhang, P Arcaini, I Hasuo
NASA Formal Methods Symposium, 401-419, 2020
Falsification of hybrid systems using adaptive probabilistic search
G Ernst, S Sedwards, Z Zhang, I Hasuo
ACM Transactions on Modeling and Computer Simulation (TOMACS) 31 (3), 1-22, 2021
Arch-comp 2022 category report: Falsification with ubounded resources
G Ernst, P Arcaini, G Fainekos, F Formica, J Inoue, T Khandait, ...
Proceedings of 9th International Workshop on Applied Verification of …, 2022
When cyber-physical systems meet AI: A benchmark, an evaluation, and a way forward
J Song, D Lyu, Z Zhang, Z Wang, T Zhang, L Ma
Proceedings of the 44th International Conference on Software Engineering …, 2022
Tat: Targeted backdoor attacks against visual object tracking
Z Cheng, B Wu, Z Zhang, J Zhao
Pattern Recognition 142, 109629, 2023
FalsifAI: Falsification of AI-enabled hybrid control systems guided by time-aware coverage criteria
Z Zhang, D Lyu, P Arcaini, L Ma, I Hasuo, J Zhao
IEEE Transactions on Software Engineering 49 (4), 1842-1859, 2022
Time-staging enhancement of hybrid system falsification
G Ernst, I Hasuo, Z Zhang, S Sedwards
arXiv preprint arXiv:1803.03866, 2018
MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation
Z Dong, Q Hu, Y Guo, M Cordy, M Papadakis, Z Zhang, Y Le Traon, ...
2023 IEEE International Conference on Software Analysis, Evolution and …, 2023
Boosting source code learning with data augmentation: An empirical study
Z Dong, Q Hu, Y Guo, Z Zhang, M Cordy, M Papadakis, YL Traon, J Zhao
arXiv preprint arXiv:2303.06808, 2023
ARCH-COMP 2023 Category Report: Falsification
C Menghi, P Arcaini, W Baptista, G Ernst, G Fainekos, F Formica, S Gon, ...
Proceedings of 10th International Workshop on Applied 96, 151-169, 2023
The system can't perform the operation now. Try again later.
Articles 1–20