Sooyoung Cha

1 Patent

• US120860552024

  Method for Automatically Pruning Search Space of Symbolic Execution via Machine Learning

  Korea University Research And Business Foundation

  0 cites