Koushik Sen, Haruto Tanno, Xiaojing Zhang, Takashi Hoshino. GuideSE: Annotations for Guiding Concolic Testing. In Hong Zhu, Dan Hao, Leonardo Mariani, Rajesh Subramanyan, editors, 10th IEEE/ACM International Workshop on Automation of Software Test, AST 2015, Florence, Italy, May 23-24, 2015. pages 23-27, IEEE, 2015. [doi]
Abstract is missing.