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)