swtv-kaist/CROWN

CROWN: Concolic testing for Real-wOrld softWare aNalysis