fuzzing + concolic = fuzzolic :)¶
News¶
We are currently finalizing a journal manuscript that covers the internals of fuzzolic.
The preprint of paper accepted at ICSE is available on ArXiv.
The code of Fuzzolic and Fuzzy-SAT will be released immediately after the talk at ICSE 2021.
Publications¶
Luca Borzacchiello, Emilio Coppa, and Camil Demetrescu. Fuzzing Symbolic Expressions. Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021), 2021. [PDF]
@inproceedings{FUZZOLIC-FUZZY,
author={Borzacchiello, Luca and Coppa, Emilio and Demetrescu, Camil},
title={{Fuzzing Symbolic Expressions}},
booktitle={Proceedings of the 43rd International Conference on Software Engineering},
series={ICSE '21},
year={2021},
}
Getting Started
Other