Problem Characterization and Abstraction for Visual Analytics in Behavior-Based Malware Pattern Analysis