Identifying Program Entropy Characteristics with Symbolic Execution. - Audrey Annika Dutcher (2019)