Showing results 1 to 3 of 3
Test sequence generation from modechart specification = Modechart 명세 기반의 실시간 시스템 테스트 시퀀스 생성link Lee, Nam-Hee; 이남희; et al, 한국과학기술원, 1998 |
가상화 기법으로 난독화된 바이너리에서 심볼릭 실행을 이용한 실행경로 축약 = Simplifying execution path of virtualization-obfuscated binaries using symbolic executionlink 현신영; 한태숙; et al, 한국과학기술원, 2017 |
기호 실행을 통한 안드로이드 애플리케이션의 숨겨진 행위를 찾는 방법에 관한 연구 = Symbolic execution based approach for discovering hidden behaviors of android appslink 김상원; Kim, Sang-Won; 임채호; Lim, Chae-Ho; et al, 한국과학기술원, 2013 |
Discover