基于过程间动态符号执行的C语言测试框架
기우과정간동태부호집행적C어언측시광가
C testing framework study based on inter-procedural dynamic symbolic execution
저자의 최근 논문