![](/img/cover-not-exists.png)
[ACM Press the 2011 International Symposium - Toronto, Ontario, Canada (2011.07.17-2011.07.21)] Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11 - Symbolic execution with mixed concrete-symbolic solving
Păsăreanu, Corina S., Rungta, Neha, Visser, WillemYear:
2011
Language:
english
DOI:
10.1145/2001420.2001425
File:
PDF, 301 KB
english, 2011