selected publications blog posting Preventive Model-based Verification and Repairing for SDN Requests. arXiv (Cornell University). 2019 conference paper Test Derivation for the Software Defined Networking Platforms: Novel Fault Models and Test Completeness. . 1-6. 2018