Automated Vulnerability Testing via Executable Attack Graphs | IEEE Conference Publication | IEEE Xplore