Static Code Analysis for Software Security Verification: Problems and Approaches

Zeineb Zhioua, Stuart Short, Yves Roudier. Static Code Analysis for Software Security Verification: Problems and Approaches. In IEEE 38th Annual Computer Software and Applications Conference, COMPSAC Workshops 2014, Vasteras, Sweden, July 21-25, 2014. pages 102-109, IEEE, 2014. [doi]

Authors

Zeineb Zhioua

This author has not been identified. Look up 'Zeineb Zhioua' in Google

Stuart Short

This author has not been identified. Look up 'Stuart Short' in Google

Yves Roudier

This author has not been identified. Look up 'Yves Roudier' in Google