Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jiangchao Liu, Jierui Liu, Peng Di, Diyu Wu, Hengjie Zheng, Alex X. Liu, Jingling Xue. Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis. In René Just, Gordon Fraser 0001, editors, Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023. pages 114-126, ACM, 2023. [doi]

This author has not been identified. Look up 'Jiangchao Liu' in GoogleThis author has not been identified. Look up 'Jierui Liu' in GoogleThis author has not been identified. Look up 'Peng Di' in GoogleThis author has not been identified. Look up 'Diyu Wu' in GoogleThis author has not been identified. Look up 'Hengjie Zheng' in GoogleThis author has not been identified. Look up 'Alex X. Liu' in GoogleThis author has not been identified. It may be one of the following persons:

Jingling Xue

Look up 'Jingling Xue' in Google

runs on WebDSL