Metrinome: Path Complexity Predicts Symbolic Execution Path Explosion

Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2021