Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
@InProceedings{Chen2018Angora,
author = {Peng Chen, Hao Chen},
title = {Angora: efficient fuzzing by principled search},
booktitle = {IEEE Symposium on Security and Privacy (S&P)},
year= {2018},
month= {May},
day={21--23},
date = {2018-05-21/2018-05-23},
address = {San Francisco, CA},
OPTannote = {10.0\%}
}