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]
@inproceedings{SenTZH15,
title = {GuideSE: Annotations for Guiding Concolic Testing},
author = {Koushik Sen and Haruto Tanno and Xiaojing Zhang and Takashi Hoshino},
year = {2015},
doi = {10.1109/AST.2015.12},
url = {http://dx.doi.org/10.1109/AST.2015.12},
researchr = {https://researchr.org/publication/SenTZH15},
cites = {0},
citedby = {0},
pages = {23-27},
booktitle = {10th IEEE/ACM International Workshop on Automation of Software Test, AST 2015, Florence, Italy, May 23-24, 2015},
editor = {Hong Zhu and Dan Hao and Leonardo Mariani and Rajesh Subramanyan},
publisher = {IEEE},
isbn = {978-1-4673-7022-6},
}