References

Paul Gazzillo. Associate Professor. University of Central Florida. paul.gazzillo@ucf.edu. 407-823-5239. PhD supervisor.

Kevin Moran. Assistant Professor. University of Central Florida. kpmoran@ucf.edu. 407-823-5239. Research collaborator and mentor.

Elaine Weyuker. University Distinguished Professor. University of Central Florida. Email available upon request. 407-823-3957. Research collaborator and mentor.

Suzanne Rivoire. Professor of Computer Science. Sonoma State University. rivoire@sonoma.edu. 707-664-3337. Research collaborator and mentor.

Peter Goodman. Industry researcher. Current employer is private. Contact information available upon request. Manager and mentor while working at Trail of Bits.