GuideSE: Annotations for Guiding Concolic Testing

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]

Authors

Koushik Sen

This author has not been identified. Look up 'Koushik Sen' in Google

Haruto Tanno

This author has not been identified. Look up 'Haruto Tanno' in Google

Xiaojing Zhang

This author has not been identified. Look up 'Xiaojing Zhang' in Google

Takashi Hoshino

This author has not been identified. Look up 'Takashi Hoshino' in Google