소프트웨어 버그 찾기를 시각화할 수 있는 취약 프로그램 합성기술

https://cs.kaist.ac.kr/board/view?bbs_id=research&bbs_sn=10673&menu=258 

KAIST School of Computing, 카이스트 전산학부 - 컴퓨터공학과 컴퓨터과학(Computer Science & Engineering)을 교

 

출처 : 카이스트 공학부

 

 

한번 꼭 써보고 싶다. 곧 공식적으로 사용할 수 있을것 같아 기록 해둔다.