fuzzing + concolic = fuzzolic :)


News

  • FUZZOLIC and FUZZY-SAT have been recently tested by FuzzBench: report.

  • Thr preprint of the article accepted at COSE is available here.

  • The preprint of the paper accepted at ICSE is available on ArXiv.

  • The code of FUZZOLIC and FUZZY-SAT has been released.

Publications

FUZZY-SAT

  • Luca Borzacchiello, Emilio Coppa, and Camil Demetrescu. Fuzzing Symbolic Expressions. Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021), 2021. [PDF]

@inproceedings{FUZZYSAT-ICSE21,
 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},
 doi={10.1109/ICSE43902.2021.00071},
 year={2021},
}

FUZZOLIC

  • Luca Borzacchiello, Emilio Coppa, and Camil Demetrescu. FUZZOLIC: mixing fuzzing and concolic execution. Computers & Security (COSE 2021), Elsevier, 2021. [PDF]

@article{FUZZOLIC-COSE21,
 author={Borzacchiello, Luca and Coppa, Emilio and Demetrescu, Camil},
 title={{FUZZOLIC: mixing fuzzing and concolic execution}},
 journal={Computers & Security},
 publisher={Elsevier},
 doi={10.1016/j.cose.2021.102368},
 year={2021},
}