Slide 25
Slide 25 text
参考文献 2/2
[EDCC’ 10] Lawall, Julia, et al. "Finding error handling bugs in
OpenSSL using Coccinelle.“ EDCC ’10
[SOSP ‘01] Chou, Andy, et al. "An empirical study of operating
systems errors." SOSP 2001.
[ECOOP ‘19] Kang, Hong Jin, et al. “Semantic patches for Java
program transformation (experience report)” ECOOP 2019
[CC ‘09] Padioleau, Yoann. "Parsing C/C++ code without pre-
processing." International Conference on Compiler
Construction. Springer, Berlin, Heidelberg, 2009.