![](/img/cover-not-exists.png)
[ACM Press the sixth conference - Salzburg, Austria (2011.04.10-2011.04.13)] Proceedings of the sixth conference on Computer systems - EuroSys '11 - Parallel symbolic execution for automated real-world software testing
Bucur, Stefan, Ureche, Vlad, Zamfir, Cristian, Candea, GeorgeYear:
2011
Language:
english
DOI:
10.1145/1966445.1966463
File:
PDF, 571 KB
english, 2011