Scalable Testing of Mobile Antivirus Applications