Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing

Yile Gu, Ian Neal, Jiexiao Xu, Shaun Christopher Lee, Ayman Said, Musa Haydar, Jacob Van Geffen, Rohan Kadekodi, Andrew Quinn 0001, Baris Kasikci. Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing. Proceedings of the ACM on Programming Languages, 9(OOPSLA1):477-506, 2025. [doi]

Abstract

Abstract is missing.