Daniel "karmacoma" Reynaud1 talk by Daniel "karmacoma" ReynaudBeyond Fuzzing: Symbolic Testing in Practice