Vulnerability Detection on Mobile Applications Using State Machine Inference | IEEE Conference Publication | IEEE Xplore