CREST-BV: 임베디드 소프트웨어를 위한 Bitwise 연산을 지원하는 Concolic 테스팅 기법
kiise2013_Y.Kim.pdf
—
PDF document,
1140 kB (1168028 bytes)