CITATION STYLE
Ma, K.-K., Khoo, Y. P., Foster, J. S., & Hicks, M. (2011). Directed Symbolic Execution Kin-Keung. Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings, 6887, 95–111. Retrieved from https://www.researchgate.net/publication/221477410_Directed_Symbolic_Execution
Mendeley helps you to discover research relevant for your work.