Grey-box Concolic Testing on Binary Code (ICSE '19) - View it on GitHub