VST: A virtual stress testing framework for discovering bugs in SSD flash-translation layers. - Ren-Shuo Liu; Yun-Sheng Chang; Chih-Wen Hung (ICCAD, 2017)