Author:
Shen Qintao,Sun Hongyu,Meng Guozhu,Chen Kai,Zhang Yuqing
Publisher
Springer Nature Switzerland
Reference24 articles.
1. Gunawi, H.S., Rubio-González, C., Arpaci-Dusseau, A.C., Arpaci-Dusseau, R.H., Liblit, B.: EIO: error handling is occasionally correct. In: FAST, vol. 8, pp. 1–16 (2008)
2. Min, C., Kashyap, S., Lee, B., et al.: Cross-checking semantic correctness: the case of finding file system bugs. In: Proceedings of the 25th Symposium on Operating Systems Principles, pp. 361–377 (2015)
3. Nanda, M.G., Sinha, S.: Accurate interprocedural null-dereference analysis for Java. In: 2009 IEEE 31st International Conference on Software Engineering, pp. 133–143. IEEE (2009)
4. Rubio-González, C., Gunawi, H.S., Liblit, B., Arpaci-Dusseau, R.H., Arpaci-Dusseau, A.C.: Error propagation analysis for file systems. In: Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 270–280 (2009)
5. Mao, J., Chen, Y., Xiao, Q., et al.: RID: finding reference count bugs with inconsistent path pair checking. In: Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 531–544 (2016)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献