Automated test generation and execution for VPN devices | IEEE Conference Publication | IEEE Xplore