Breadcrumb Home News & Events Notice Research Assistant Professor Jialun Cao (HKUST) :Can AI be a Panacea for Software Reliability? Towards Automatic Testing and Verification for Software Programs Research Assistant Professor Jialun Cao (HKUST) :Can AI be a Panacea for Software Reliability? Towards Automatic Testing and Verification for Software Programs 2025-12-05 Notice Content View Count: 相关阅读 斯发基斯可信自主系统研究院技术研讨会(2025年第2期) 香港城市大学博士郑翔 :Reinforcement Learning-Based Adversarial Evaluation and Defense Enhancement for Large Language Models 西班牙科尔多瓦大学教授Rafael Muñoz Salinas:Fiducial Markers for Pose Estimation, Recent Research and Practical Use Cases