Documents CREST Internal Yunho Kim Provable Software Laboratory CS Dept. KAIST.

Slide 1 CREST Internal Yunho Kim Provable Software Laboratory CS Dept. KAIST Slide 2 CREST Yunho Kim Provable SW Lab 2/20 CREST is a concolic testing tool for C programs…