A holistic test procedure for security systems software: An experience report | IEEE Conference Publication | IEEE Xplore