Login / Signup
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
Published in:
ICSE (Companion Volume) (2021)
Keyphrases
</>
symbolic execution
artificial intelligence
building blocks