Model-Based Generation of Synthetic Disk Images for Digital Forensic Tool Testing | IEEE Conference Publication | IEEE Xplore