PURITY: A Planning-based secURITY Testing Tool | IEEE Conference Publication | IEEE Xplore