Parallel Symbolic Execution for Automated Real-World Software Testing

Тип публикация:

Conference Proceedings

Автори:

Stefan Bucur; Cristian Zamfir; George Cande; Vlad Ureche

Източник:

6th ACM SIGOPS/EuroSys Conference on Computer Systems (2011)
Share/Save