RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial.

Philip Daian, Ylis Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shinichi Shiraishi, Akihito Iwai, Grigore Rosu

Browse the full RV paper archive.