每年的科研成果
每年的科研成果
个人学者
与联合国可持续发展目标相关的专业知识
2015 年，联合国成员国同意 17 项可持续发展目标 (SDG)，以消除贫困、保护地球并确保全人类的繁荣。此人的工作有助于实现下列可持续发展目标：
-
可持续发展目标 3 良好健康与福祉 -
可持续发展目标 16 和平、正义和强大机构
学术指纹
深入探索 Yueling Zhang 活跃其中的研究主题。这些主题标签来自该研究者的学术成果，它们共同构成了一个独特的学术指纹.
- 1 相似学者
合作关系和合作领域
最近的国家/地区级外部合作关系。点击圆点，以了解详细信息或
-
Poseidon: An LLM-Aided Property-Based Testing Framework for RDMA
Liang, Y. & Zhang, Y., 2027, Advanced Intelligent Computing Technology and Applications - 22nd International Conference on Intelligent Computing, ICIC 2026, Proceedings. Huang, D.-S., Zhang, Q., Pan, Y., Zhang, C., Chen, W., Li, B., Bao, W. & Premaratne, P. (版本). Springer Science and Business Media Deutschland GmbH, 页码 423-434 12 页码 (Lecture Notes in Computer Science; 卷 16652 LNCS).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
-
AmpFuzz: Collaborative Smart Contract Fuzzing via LLM-Enhanced Seeding and Amplify-and-Deepen Mutation
Zhang, W., Zhang, Y. & Su, T., 2026, 在: Proceedings of the International Conference on Computer Supported Cooperative Work in Design, CSCWD. 2026, 页码 2941-2946 6 页码科研成果: 期刊稿件 › 会议文章 › 同行评审
-
AutoSMTGen: A Syntax-Safe Generator for Hard SMT Formula Generation
Zheng, S., Yang, X., Zhang, Y. & Pu, G., 2026, Proceedings - SEKE 2026: The 38th International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, 页码 74-79 6 页码 (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
-
CovCraft: LLM-Guided Intelligent Framework for Constraint-Based Testing of Deep Learning Compiler Pipelines
He, Y., Yang, F., Su, T., Zhang, Y. & Pu, G., 2026, Proceedings - 2026 IEEE 50th Annual Computers, Software, and Applications Conference, COMPSAC 2026. Shahriar, H., Alam, K. S., Ohsaki, H., Cimato, S., Capretz, M., Ahmed, S., Ahamed, S. I., Majumder, A. J. A., Haque, M., Yoshihisa, T., Cuzzocrea, A., Takemoto, M., Sakib, N. & Elsayed, M. (版本). Institute of Electrical and Electronics Engineers Inc., 页码 3180-3189 10 页码 (Proceedings - 2026 IEEE 50th Annual Computers, Software, and Applications Conference, COMPSAC 2026).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
-
HIFI: Explaining and Mitigating Algorithmic Bias Through the Lens of Game-Theoretic Interactions
Zhang, L., Wang, Z., Zhang, Y., Zhang, M. & Wang, J., 2025, Proceedings - 2025 IEEE/ACM 47th International Conference on Software Engineering, ICSE 2025. IEEE Computer Society, 页码 756-768 13 页码 (Proceedings - International Conference on Software Engineering).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
2 在新选项卡中打开链接 引用 （Scopus）