DMCA

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

by Stefan Bucur , Vlad Ureche , Cristian Zamfir , George Candea
Venue:in ACM SIGOPS/EuroSys European Conf. on Computer Systems
Citations:51 - 7 self