vix.ing · top · new · best · stats · spec

Lingfeng Chen

  1. Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE
    2026/07/23 by Lingfeng Chen, Tao Xiao, Masanari Kondo +1
    #cs.SE