An interactive approach to mobile app verification.

Osbert Bastani, Saswat Anand, Alex Aiken

Browse the full OOPSLA paper archive.