Grey-box Concolic Testing on Binary Code (ICSE '19)
SoftSec-KAIST
A concolic testing engine for RISC-V embedded software with support for SystemC peripherals
agra-uni-bremen
A platform for analysis of Java bytecode
vorpal-research
