WITCHER : Detecting Crash Consistency Bugs in Non-volatile Memory Programs. - Xinwei Fu; Wook-Hee Kim; Ajay Paddayuru Shreepathi; Mohannad Ismail; Sunny Wadkar; Changwoo Min; Dongyoon Lee (CoRR, 2020)

Witcher: Systematic Crash Consistency Testing for Non-Volatile Memory Key-Value Stores. - Xinwei Fu; Wook-Hee Kim; Ajay Paddayuru Shreepathi; Mohannad Ismail; Sunny Wadkar; Dongyoon Lee; Changwoo Min (SOSP, 2021)