selected publications

• academic article

  • On using finite state models for optimizing and testing SDN controller components.  .  2016

• blog posting

  • Extended Finite State Machine based test generation for an OpenFlow switch.  . 2019

• chapter

  • Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach.  Lecture notes in computer science. 69-84. 2018

• conference paper

  • Towards Model based Testing for Software Defined Networks.  . 440-446. 2018