JavaMOP: Efficient parametric runtime monitoring framework.

Dongyun Jin, Patrick O'Neil Meredith, Choonghwan Lee, Grigore Rosu

Browse the full ICSE paper archive.