Mutation testing seeds small faults — mutants — to measure a test suite.
Java mutation tools have no Android operators. Research had proposed just eight.
Bug reports · bug-fixing commits · Stack Overflow · exception docs · prior studies
More than a third of the bugs — 35% — are specific to Android.
Static analysis of code and XML builds a Potential Failure Profile: every spot an operator applies.
Each location gets its operator’s transformation, in its own clone of the app.
Clones are compiled into individual Android packages, ready for your tests.