Dynamic Symbolic Execution using Eclipse CDT
Dynamic Symbolic Execution using Eclipse CDT
Int. Conf. Software Eng. Advances
Authors: | Andreas Ibing |
Year/month: | 2015/11 |
Booktitle: | Int. Conf. Software Eng. Advances |
Fulltext: | ibing15dynse.pdf |
Abstract |
|
Bibtex:
@inproceedings { 405,author = { Andreas Ibing},
title = { Dynamic Symbolic Execution using Eclipse CDT },
year = { 2015 },
month = { November },
booktitle = { Int. Conf. Software Eng. Advances },
url = {https://www.sec.in.tum.de/i20/publications/dynamic-symbolic-execution-using-eclipse-cdt/@@download/file/ibing15dynse.pdf}
}