Android testing via synthetic symbolic execution

Xiang Gao, Shin Hwei Tan, Zhen Dong, Abhik Roychoudhury. Android testing via synthetic symbolic execution. In Marianne Huchard, Christian Kästner, Gordon Fraser, editors, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. pages 419-429, ACM, 2018. [doi]

Abstract

Abstract is missing.