Test oriented formal model of SDN applications | IEEE Conference Publication | IEEE Xplore