01. Concolic testing
(a.k.a., dynamic symbolic execution)

동적 심볼릭 테스팅(Concolic 테스팅): 효과적인
오류검출을 위한 실용적인 Whitebox 테스트 입력
생성 기법 [pdf]
1_Concolic testing.png

02. CROWN
CROWN examples[pdf]
2_CROWN.png
CROWN tutorial[pdf]
03. Case Studies of Concolic testing

System-level Concolic testing: Busybox
application examples through CROWN [pdf]
  •      Industrial Application of Concolic testing on
         Embedded 
    Software: Case Studies [pdf] [ICSE'12] 
3_Case Studies.png

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
4_Unit-level.png

Concolic Testing