MOP: An Efficient and Generic Runtime Verification Framework (2007)

by Feng Chen , Grigore Rosu
Citations:85 - 11 self