Metrinome: Path Complexity Predicts Symbolic Execution Path Explosion. - Gabriel Bessler; Josh Cordova; Shaheen Cullen-Baratloo; Sofiane Dissem; Emily Lu; Sofia Devin; Ibrahim Abughararh; Lucas Bang (ICSE (Companion Volume), 2021)

Formalizing Path Explosion for Recursive Functions via Asymptotic Path Complexity. - Eli Pregerson; Shaheen Cullen-Baratloo; David Chen; Duy Lam; Max Szostak; Lucas Bang (FormaliSE, 2023)