Towards a Fully Automated System for Testing and Validating NetApps | IEEE Conference Publication | IEEE Xplore