Concolic Execution 구체적인 실행 경로를 따라 프로그램 변수를 기호 변수로 처리하는 고전적인 기법 인 기호 실행을 수행하는 하이브리드 소프트웨어 검증 기술 ExpoSEExpoSEJS • Updated 2023 Jul 25 0:45