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: 相关阅读 日本多美公司首席研究员 Masahiro Yamanari: Polarization-sensitive Optical Coherence Tomography in Ophthalmic Applications 南非开普敦大学教授Geoff Nitschke: Complexity in Brains and Bodies: An Evolutionary Robotics Perspective 东京大学副教授马雷:Trustworthiness Assurance of Intelligent Systems in the Age of Al Agents