Semi-automated verdicts assignment for potentially malicious programs | IEEE Conference Publication | IEEE Xplore