Source isn’t always available — say, to an outsourced testing service. Source-level tools stall.
Built beside MDroid+ for source code — both from 38 operators grounded in 262 real fault types.
APKTool decodes the app into SMALI — Android’s bytecode, as text — plus its resources.
The operator catalog, rewritten as SMALI rules, builds a Potential Failure Profile.
Each location is mutated in its own copy of the decoded app, in parallel.
Every mutant is rebuilt and signed into an installable APK, with a log of what changed.
DifferentActivityIntentDefinition: launch the wrong screen.