ADRENALIN-RV: Android Runtime Verification Using Load-Time Weaving
An Overview of AspectJ