Sooyoung CHA

Follow

Person

Suwon-si, KR

People

Patents Grantslast 30 patents

Information Patent Grant
Method for automatically pruning search space of symbolic execution...
- Patent number 12,086,055
- Issue date Sep 10, 2024
- Korea University Research and Business Foundation
- Hakjoo Oh
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SYMBOLIC EXECUTION-BASED SOFTWARE TESTING APPARATUS AND METHOD
- Publication number 20250199947
- Publication date Jun 19, 2025
- Research & Business Foundation Sungkyunkwan University
- Sooyoung CHA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR AUTOMATICALLY PRUNING SEARCH SPACE OF SYMBOLIC EXECUTION...
- Publication number 20220107884
- Publication date Apr 7, 2022
- Korea University Research and Business Foundation
- Hakjoo OH
- G06 - COMPUTING CALCULATING COUNTING