Login / Signup
Path Complexity Analysis for Interprocedural Code.
Mira Bhagirathi Kaniyur
Ana Cavalcante-Studart
Yihan Yang
Sangeon Park
David Chen
Duy Lam
Lucas Bang
Published in:
ICSE Companion (2024)
Keyphrases
</>
complexity analysis
theoretical analysis
path finding
shortest path
source code
first order logic
computational complexity
lower bound
database systems
machine learning
optimal path
minimum cost
endpoints
static analysis
high level
data sets
error correcting
program code