張 振亜  ZHANG ZHENYA

Design, Automation and Test in Europe Conference

巻: N/A

Empirical Software Engineering

巻: 30 号: 3 ページ: 1-1

10.1007/s10664-025-10624-2

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

巻: 0 号: 10 ページ: 1-1

10.1109/tcad.2025.3550410

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

巻: N/A

36th International Conference on Computer-Aided Verification. (CAV 2024)

巻: -

The 17th International Workshop on Search-Based and Fuzz Testing

巻: -

2024 IEEE 35th International Symposium on Software Reliability Engineering Workshops

巻: N/A ページ: 151-154

10.1109/issrew63542.2024.00073

International Symposium on Formal Methods

巻: 14934 ページ: 286-304

10.1007/978-3-031-71177-0_18

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering

巻: N/A ページ: 1497-1508

10.1145/3691620.3695520

Journal of Systems and Software

巻: 216 ページ: 112139-112139

10.1016/j.jss.2024.112139

The Genetic and Evolutionary Computation Conference (GECCO 2024)

巻: -

ACM Transactions on Software Engineering and Methodology

巻: - 号: 4 ページ: 1-35

10.1145/3705307

Proceedings of the Genetic and Evolutionary Computation Conference

巻: N/A ページ: 1435-1444

10.1145/3638529.3654078

International Conference on Computer Aided Verification

巻: 14683 ページ: 282-306

10.1007/978-3-031-65633-0_13

Knowledge-Based Systems

巻: 285 ページ: 111328-111328

10.1016/j.knosys.2023.111328

International Journal of Computer Vision

巻: 132 号: 10 ページ: 4398-4416

10.1007/s11263-024-02096-6

35th International Conference on Computer-Aided Verification. (CAV 2023)

巻: 13964 ページ: 62-84

10.1007/978-3-031-37706-8_4

Pattern Recognition

巻: 142 ページ: 109629-109629

10.1016/j.patcog.2023.109629

2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE)

巻: - ページ: 309-320

10.1109/issre59848.2023.00054

EPiC Series in Computing

巻: 96 ページ: 151-169

10.29007/6nqs