You Li, Zhendong Su, Linzhang Wang, Xuandong Li. Steering symbolic execution to less traveled paths. In Antony L. Hosking, Patrick Th. Eugster, Cristina V. Lopes, editors, Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013. pages 19-32, ACM, 2013. [doi]
@inproceedings{LiSWL13,
title = {Steering symbolic execution to less traveled paths},
author = {You Li and Zhendong Su and Linzhang Wang and Xuandong Li},
year = {2013},
doi = {10.1145/2509136.2509553},
url = {http://doi.acm.org/10.1145/2509136.2509553},
researchr = {https://researchr.org/publication/LiSWL13},
cites = {0},
citedby = {0},
pages = {19-32},
booktitle = {Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages \& Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013},
editor = {Antony L. Hosking and Patrick Th. Eugster and Cristina V. Lopes},
publisher = {ACM},
isbn = {978-1-4503-2374-1},
}