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]
@article{TangDLWYZZ24,
title = {Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions},
author = {Wensheng Tang and Dejun Dong and Shijie Li and Chengpeng Wang and Peisen Yao and Jinguo Zhou and Charles Chuan Zhang},
year = {2024},
month = {March},
doi = {10.1145/3632743},
url = {https://doi.org/10.1145/3632743},
researchr = {https://researchr.org/publication/TangDLWYZZ24},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Software Engineering Methodology},
volume = {33},
number = {3},
}