Parallel symbolic execution for automated real-world software testing. (2011)

by S Bucur, V Ureche, C Zamfir, G Candea
Venue:In ACM EuroSys European Conf. on Computer Systems,