KLEE를 사용하여 GNU Coreutils를 테스트하는 방법에 대한 튜토리얼 더 자세한 KLEE 사용 설명으로, OSDI’08 Coreutils 실험 설명에 따라 KLEE를 사용하여 GNU Coreutils를 테스트하는 방법을 살펴보겠다.… 더 보기 »Coreutils 테스트: KLEE를 사용하여 GNU Coreutils를 테스트하는 방법에 대한 자세한 설명

KLEE의 기본 명령줄 옵션 개요에서 언급한 대로, KLEE는 심볼릭 환경의 일부로 여러 옵션을 제공한다. 그러나 이러한 옵션의 사용은 새로운 사용자에게는 종종 이해하기 어렵다. 이 튜토리얼은… 더 보기 »심볼릭 환경 사용: 테스트 대상 프로그램에 대한 심볼릭 파일 및 명령줄 인수와 같은 심볼릭 환경을 사용하는 방법에 대한 가이드 및 예제