Daniel DeFreez
Ph.D. University of California, Davis 2019
Dissertation:
Unlikely Paths: Error-Handling Specification Inference For Software That Uses The Return-Code Idiom
Advisor 1: Cindy Rubio González
Advisor 2: Aditya V. Thakur
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 262538 for the advisor ID.