How we get there: A context-guided search strategy in concolic testing. (2014)

by Hyunmin Seo, Sunghun Kim
Venue:In Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE