InputFinder: Reverse Engineering Closed Binaries using Hardware Performance Counters
Dynamic Test Generation to Find Integer Bugs in x86 Binary Linux Programs