基于分支混淆算法的符号执行技术
기우분지혼효산법적부호집행기술
Symbolic Execution Based on Branch Confusion Algorithm
저자의 최근 논문