Youcheng Sun

Search results

• 2023

  A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

  Charalambous, Y., Tihanyi, N., Jain, R., Sun, Y., Ferrag, M. A. & Cordeiro, L. C., 24 May 2023.

  Research output: Preprint/Working paper › Preprint

  File
  24 Downloads (Pure)