Automated test generation and execution for VPN devices. - Levent Onder Yilmaz; Hasan Ates; Zafer Bayraktar; Yakup Kaya; Isa Bostan; Recep Talha Kuyuk; Ibrahim Hökelek; M. Ümit Uyar (SIU, 2014)