How we get there: a context-guided search strategy in concolic testing
-
- Hyunmin Seo
- Hong Kong University of Science and Technology, China
-
- Sunghun Kim
- Hong Kong University of Science and Technology, China
Journal
-
- Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering
-
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering 413-424, 2014-11-11
ACM