2F #201, Daejeon-ro 1092, Daedeok-gu, Daejeon, South Korea 34433

Tel. +82-42-365-9046

COPYRIGHT © 2019 V PLUS LAB INC. ALL RIGHTS RESERVED.

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]
  •      Industrial Application of Concolic testing on
         Embedded 
    Software: Case Studies [pdf] [ICSE'12] 
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