LLSPLAT: Improving Concolic Testing by Bounded Model Checking.

Min Gao, Lei He, Rupak Majumdar, Zilong Wang

Browse the full SCAM paper archive.