CrashML: Using ML models to optimize testing for crash-consistency bugs in file systems
Date:
This talk outlines our findings on the bounding the infinite state space of workload to test file systems for crash consistency and the potential for using ML models like LSTMs to identify workloads that could potentially lead to crash-consistency bugs.