Crash consistency validation made easy

Yanyan Jiang, Haicheng Chen, Feng Qin, Chang Xu, Xiaoxing Ma, and Jian Lu, “Crash consistency validation made easy” , in Proceedings of the 24th International Symposium on the Foundations of Software Engineering (FSE) , 133–143, 2016.

© 2015 Institute of Computer Software, Nanjing University. All rights reserved.