Security Testing: Turning Practice into Theory | IEEE Conference Publication | IEEE Xplore