Hai Zhou Ling
According to our database1, Hai Zhou Ling authored at least 5 papers between 2008 and 2010.
Legend:Book In proceedings Article PhD thesis Other
Security Evaluation and Hardening of Free and Open Source Software (FOSS).
A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009, 2009
Targeting Security Vulnerabilities: From Specification to Detection (Short Paper).
Proceedings of the Eighth International Conference on Quality Software, 2008
Towards Automation of Testing High-Level Security Properties.
Proceedings of the Data and Applications Security XXII, 2008
A Hybrid Approach for Safe Memory Management in C.
Proceedings of the Algebraic Methodology and Software Technology, 2008