Automated concolic testing of smartphone apps (2012)

by S Anand, M Naik, M J Harrold, H Yang
Venue:In Proc. of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE ’12