CREDAL: Towards Locating a Memory Corruption Vulnerability with Your Core Dump
Dynamic Test Generation to Find Integer Bugs in x86 Binary Linux Programs