Interprocedural Path Complexity Analysis

Published in ISSTA, 2024

Recommended citation: Mira Kaniyur, Ana Cavalcante-Studart,Yihan Yang, Sangeon Park, David Chen, Duy Lam, and Lucas Bang. 2024. Interprocedural Path Complexity Analysis. In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024). Association for Computing Machinery, New York, NY, USA, 162-173. https://doi.org/10.1145/3650212.3652118
Paper | Slides