Verifying dereference safety via expanding-scope analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda. Verifying dereference safety via expanding-scope analysis. In Barbara G. Ryder, Andreas Zeller, editors, Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008. pages 213-224, ACM, 2008. [doi]

This author has not been identified. Look up 'Alexey Loginov' in GoogleThis author has not been identified. Look up 'Eran Yahav' in GoogleThis author has not been identified. Look up 'Satish Chandra' in GoogleThis author has not been identified. Look up 'Stephen Fink' in GoogleThis author has not been identified. Look up 'Noam Rinetzky' in GoogleThis author has not been identified. Look up 'Mangala Gowri Nanda' in Google

runs on WebDSL