Author:
Li Zhuohua,Wang Jincheng,Sun Mingshen,Lui John C. S.
Publisher
Springer Nature Switzerland
Reference41 articles.
1. Astrauskas, V., Müller, P., Poli, F., Summers, A.J.: Leveraging rust types for modular specification and verification. In: Proceedings of the ACM on Programming Languages 3(OOPSLA), pp. 1–30 (2019)
2. Bae, Y., Kim, Y., Askar, A., Lim, J., Kim, T.: Rudra: finding memory safety bugs in rust at the ecosystem scale. In: Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles, SOSP 2021, pp. 84–99 (2021)
3. Lecture Notes in Computer Science;M Baranowski,2018
4. Bushev, D.: Language details of the Firefox repo (2022). https://4e6.github.io/firefox-lang-stats/
5. Cadar, C., Dunbar, D., Engler, D.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, pp. 209–224. OSDI ’08 (2008)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献