GuideSE: Annotations for Guiding Concolic Testing.

Koushik Sen, Haruto Tanno, Xiaojing Zhang, Takashi Hoshino

Browse the full ICSE paper archive.