Symbolic assertion mining for security validation | IEEE Conference Publication | IEEE Xplore