Osbert Bastani, Saswat Anand, Alex Aiken. An interactive approach to mobile app verification. In Aharon Abadi, Lori Flynn, Jeff Gray, editors, Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015. pages 45-46, ACM, 2015. [doi]
Abstract is missing.