top of page
01. Concolic testing
(a.k.a., dynamic symbolic execution)
동적 심볼릭 테스팅(Concolic 테스팅): 효과적인
오류검출을 위한 실용적인 Whitebox 테스트 입력
생성 기법 [pdf]

02. CROWN
CROWN examples[pdf]

CROWN tutorial[pdf]
03. Case Studies of Concolic testing
System-level Concolic testing: Busybox
application examples through CROWN [pdf]

04. Unit-level Concolic testing
Unit-level Conatesting: Busybox ls example [pdf]
-
Automated Unit Testing of Large Industrial Embedded Software using Concolic testing [pdf] [ASE'13 paper]

Concolic Testing
bottom of page