Vinter: Automatic Non-Volatile Memory Crash Consistency Testing for Full Systems. - Samuel Kalbfleisch; Lukas Werling; Frank Bellosa (USENIX ATC, 2022)