Symbolic assertion mining for security validation