FormaliSE 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025
Sooyoung Cha

Registered user since Wed 20 Apr 2022

Name:Sooyoung Cha
Affiliation:Sungkyunkwan University
Personal website: http://sal.skku.edu
Research interests:Software Testing, Symbolic Execution, Machine Learning

Contributions

Show activities from other conferences

Using general profile