Grey-box concolic testing on binary code.

Jaeseung Choi, Joonun Jang, Choongwoo Han, Sang Kil Cha

Browse the full ICSE paper archive.