CRAXDroid: Automatic Android System Testing by Selective Symbolic Execution

Chao-Chun Yeh, Han-Lin Lu, Chun-Yen Chen, Kee Kiat Khor, Shih-Kun Huang. CRAXDroid: Automatic Android System Testing by Selective Symbolic Execution. In IEEE Eighth International Conference on Software Security and Reliability, SERE 2014, San Francisco, CA, USA, June 30 - July 2, 2014 - Companion Volume. pages 140-148, IEEE, 2014. [doi]

Abstract

Abstract is missing.