Research Assistant Professor Jialun Cao (HKUST) ：Can AI be a Panacea for Software Reliability? Towards Automatic Testing and Verification for Software Programs
Notice
Content View Count:

相关阅读

event

日本多美公司首席研究员 Masahiro Yamanari： Polarization-sensitive Optical Coherence Tomography in Ophthalmic Applications

event

香港城市大学博士郑翔 ：Reinforcement Learning-Based Adversarial Evaluation and Defense Enhancement for Large Language Models

event

香港科技大学研究助理教授 Jialun Cao：Can AI be a Panacea for Software Reliability? Towards Automatic Testing and Verification for Software Programs