Model-Based Conformance Testing for Android.

Yiming Jing, Gail-Joon Ahn, Hongxin Hu

Browse the full IWSEC paper archive.