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