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