selected publications

• academic article

  • Source code optimization using equivalent mutants.  Information and Software Technology.  103:138-141. 2018

• blog posting

  • Preventive Model-based Verification and Repairing for SDN Requests.  arXiv (Cornell University). 2019
  • Identifying Operational Data-paths in Software Defined Networking Driven Data-planes.  arXiv (Cornell University). 2019

• chapter

  • Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization.  Lecture notes in computer science. 55-61. 2022
  • A Model Checking Based Approach for Detecting SDN Races.  Lecture notes in computer science. 194-211. 2019
  • Quality Estimation of Virtual Machine Placement in Cloud Infrastructures.  Lecture notes in computer science. 213-229. 2017

• conference paper

  • Timed Transition Tour for Race Detection in Distributed Systems.  . 613-620. 2023
  • On the Assessment and Debugging of QoE in SDN: Work in Progress.  . 1-3. 2019
  • Scalable Supervised Machine Learning Apparatus for Computationally Constrained Devices.  . 552-562. 2018
  • Towards Model based Testing for Software Defined Networks.  . 440-446. 2018
  • Decreasing the complexity of deriving test suites against nondeterministic finite state machines.  . 1-4. 2017
  • Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines.  . 315-322. 2016