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

by Feng Chen , Grigore Rosu
Citations:113 - 14 self