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

by Feng Chen , Grigore Rosu
Citations:108 - 12 self