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}
}