Affiliation:
1. University of California at Santa Barbara, USA
Funder
National Science Foundation
Defense Advanced Research Projects Agency
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Interprocedural Path Complexity Analysis;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Path Complexity Analysis for Interprocedural Code;Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings;2024-04-14
3. Path Complexity Correlates with Source Code Comprehension Effort Indicators;2023 IEEE/ACM 31st International Conference on Program Comprehension (ICPC);2023-05
4. Path Complexity of Recursive Functions;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05
5. Formalizing Path Explosion for Recursive Functions via Asymptotic Path Complexity;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05