Chao Zhang, Weiliang Yin, Zhiqiang Lin. Boost Symbolic Execution Using Dynamic State Merging and Forking. In Horst Lichter, Thanwadee Sunetnanta, Toni Anwar, Taratip Suwannasart, editors, Proceedings of the 6th International Workshop on Quantitative Approaches to Software Quality co-located with 25th Asia-Pacific Software Engineering Conference (APSEC 2018), Nara, Japan, December 4, 2018. Volume 2273 of CEUR Workshop Proceedings, pages 14-21, CEUR-WS.org, 2018. [doi]
@inproceedings{ZhangYL18-9,
title = {Boost Symbolic Execution Using Dynamic State Merging and Forking},
author = {Chao Zhang and Weiliang Yin and Zhiqiang Lin},
year = {2018},
url = {http://ceur-ws.org/Vol-2273/QuASoQ-02.pdf},
researchr = {https://researchr.org/publication/ZhangYL18-9},
cites = {0},
citedby = {0},
pages = {14-21},
booktitle = {Proceedings of the 6th International Workshop on Quantitative Approaches to Software Quality co-located with 25th Asia-Pacific Software Engineering Conference (APSEC 2018), Nara, Japan, December 4, 2018},
editor = {Horst Lichter and Thanwadee Sunetnanta and Toni Anwar and Taratip Suwannasart},
volume = {2273},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}