Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wensheng Tang, Dejun Dong, Shijie Li, Chengpeng Wang, Peisen Yao, Jinguo Zhou, Charles Chuan Zhang. Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions. ACM Transactions on Software Engineering Methodology, 33(3), March 2024. [doi]

This author has not been identified. Look up 'Wensheng Tang' in GoogleThis author has not been identified. Look up 'Dejun Dong' in GoogleThis author has not been identified. Look up 'Shijie Li' in GoogleThis author has not been identified. Look up 'Chengpeng Wang' in GoogleThis author has not been identified. Look up 'Peisen Yao' in GoogleThis author has not been identified. Look up 'Jinguo Zhou' in GoogleThis author has not been identified. Look up 'Charles Chuan Zhang' in Google

runs on WebDSL