Neural-augmented static analysis of Android communication

Jinman Zhao, Aws Albarghouthi, Vaibhav Rastogi, Somesh Jha, Damien Octeau. Neural-augmented static analysis of Android communication. In Gary T. Leavens, Alessandro Garcia, Corina S. Pasareanu, editors, Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018. pages 342-353, ACM, 2018. [doi]

Authors

Jinman Zhao

This author has not been identified. Look up 'Jinman Zhao' in Google

Aws Albarghouthi

This author has not been identified. Look up 'Aws Albarghouthi' in Google

Vaibhav Rastogi

This author has not been identified. Look up 'Vaibhav Rastogi' in Google

Somesh Jha

This author has not been identified. Look up 'Somesh Jha' in Google

Damien Octeau

This author has not been identified. Look up 'Damien Octeau' in Google